runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (50034 MiB free)
  memory of node 1: 64465 MiB (60937 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520963-1751566933/watcher-4520963-1751566933 -o /tmp/evaluation-result-4520963-1751566933/solver-4520963-1751566933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751566871-80835 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4520963-1751566933.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=80948, runsolver pid=80945
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 3.27 3.37 4.35 5/264 80949
/proc/meminfo: memFree=113631924/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=57204 memory=18936 CPUtime=0.09 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 2797 0 0 0 9 0 0 0 20 0 1 0 72371157 58576896 4734 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 14301 4734 1696 2271 0 8939 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57204 KiB
Current children cumulated memory: 18936 KiB

[startup+0.205575 s]*
/proc/loadavg: 3.27 3.37 4.35 5/264 80949
/proc/meminfo: memFree=113627892/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=62604 memory=26216 CPUtime=0.19 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 4133 0 0 0 19 0 0 0 20 0 1 0 72371157 64106496 6554 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 15651 6554 1696 2271 0 10289 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62604 KiB
Current children cumulated memory: 26216 KiB

[startup+0.305454 s]*
/proc/loadavg: 3.27 3.37 4.35 5/264 80949
/proc/meminfo: memFree=113619908/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=67604 memory=35068 CPUtime=0.29 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 5446 0 0 0 29 0 0 0 20 0 1 0 72371157 69226496 8767 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 16901 8767 1696 2271 0 11539 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 67604 KiB
Current children cumulated memory: 35068 KiB

[startup+0.700166 s]
/proc/loadavg: 3.27 3.37 4.35 5/264 80949
/proc/meminfo: memFree=113604220/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=87636 memory=63096 CPUtime=0.68 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 10647 0 0 0 67 1 0 0 20 0 1 0 72371157 89739264 15774 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 21909 15774 1696 2271 0 16547 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 87636 KiB
Current children cumulated memory: 63096 KiB

[startup+1.50017 s]
/proc/loadavg: 3.27 3.37 4.35 5/264 80949
/proc/meminfo: memFree=113556272/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=343824 memory=305216 CPUtime=1.48 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 33723 0 0 0 138 10 0 0 20 0 1 0 72371157 352075776 76304 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 85956 76304 1792 2271 0 80594 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 343824 KiB
Current children cumulated memory: 305216 KiB

[startup+3.10558 s]
/proc/loadavg: 3.27 3.37 4.35 5/264 80949
/proc/meminfo: memFree=113158084/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=353368 memory=314512 CPUtime=3.08 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 34523 0 0 0 297 11 0 0 20 0 1 0 72371157 361848832 78628 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 88342 78628 1824 2271 0 82980 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 353368 KiB
Current children cumulated memory: 314512 KiB

[startup+6.30016 s]
/proc/loadavg: 3.32 3.38 4.35 5/264 80949
/proc/meminfo: memFree=112906880/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=533820 memory=469612 CPUtime=6.26 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 67198 0 0 0 608 18 0 0 20 0 1 0 72371157 546631680 117403 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 133455 117403 1856 2271 0 128093 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 533820 KiB
Current children cumulated memory: 469612 KiB

[startup+12.7002 s]
/proc/loadavg: 3.38 3.39 4.35 5/264 80950
/proc/meminfo: memFree=112853452/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=533820 memory=469612 CPUtime=12.65 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 67201 0 0 0 1241 24 0 0 20 0 1 0 72371157 546631680 117403 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 133455 117403 1856 2271 0 128093 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 533820 KiB
Current children cumulated memory: 469612 KiB

[startup+25.5002 s]
/proc/loadavg: 3.52 3.42 4.34 5/264 80950
/proc/meminfo: memFree=112842528/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=533820 memory=469612 CPUtime=25.42 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 67201 0 0 0 2505 37 0 0 20 0 1 0 72371157 546631680 117403 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 133455 117403 1856 2271 0 128093 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 533820 KiB
Current children cumulated memory: 469612 KiB

[startup+51.1055 s]
/proc/loadavg: 3.74 3.49 4.34 5/264 80950
/proc/meminfo: memFree=112763168/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=533820 memory=469612 CPUtime=50.95 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 67213 0 0 0 5043 52 0 0 20 0 1 0 72371157 546631680 117403 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 133455 117403 1856 2271 0 128093 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 533820 KiB
Current children cumulated memory: 469612 KiB

[startup+102.3 s]
/proc/loadavg: 3.94 3.58 4.32 5/264 80952
/proc/meminfo: memFree=112625664/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=638572 memory=564248 CPUtime=102.01 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 74725 0 0 0 10136 65 0 0 20 0 1 0 72371157 653897728 141062 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 159643 141062 1856 2271 0 154281 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 638572 KiB
Current children cumulated memory: 564248 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 3.69 4.31 5/264 80954
/proc/meminfo: memFree=112547476/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=739972 memory=620856 CPUtime=161.86 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 78288 0 0 0 16117 69 0 0 20 0 1 0 72371157 757731328 155214 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 184993 155214 1888 2271 0 179631 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 739972 KiB
Current children cumulated memory: 620856 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.77 4.29 5/264 80956
/proc/meminfo: memFree=112381112/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=739972 memory=621112 CPUtime=221.69 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 78364 0 0 0 22100 69 0 0 20 0 1 0 72371157 757731328 155278 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 184993 155278 1888 2271 0 179631 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 739972 KiB
Current children cumulated memory: 621112 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.83 4.27 5/264 80958
/proc/meminfo: memFree=112303816/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=761580 memory=642832 CPUtime=281.52 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 79269 0 0 0 28079 73 0 0 20 0 1 0 72371157 779857920 160708 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 190395 160708 1888 2271 0 185033 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 761580 KiB
Current children cumulated memory: 642832 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.89 4.27 5/262 80960
/proc/meminfo: memFree=112278424/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=761580 memory=642832 CPUtime=341.36 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 79313 0 0 0 34063 73 0 0 20 0 1 0 72371157 779857920 160708 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 190395 160708 1888 2271 0 185033 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 761580 KiB
Current children cumulated memory: 642832 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.93 4.25 5/262 80962
/proc/meminfo: memFree=112283036/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=761580 memory=642832 CPUtime=401.2 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 79378 0 0 0 40047 73 0 0 20 0 1 0 72371157 779857920 160708 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 190395 160708 1888 2271 0 185033 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 761580 KiB
Current children cumulated memory: 642832 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.97 4.25 5/263 80965
/proc/meminfo: memFree=112281656/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=761580 memory=642832 CPUtime=461.03 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 79389 0 0 0 46030 73 0 0 20 0 1 0 72371157 779857920 160708 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 190395 160708 1888 2271 0 185033 0
Current children cumulated CPU time: 461.03 s

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

Current children cumulated memory: 877752 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 81096
/proc/meminfo: memFree=111695788/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=959936 memory=877752 CPUtime=2854.2 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 120193 0 0 0 285193 227 0 0 20 0 1 0 72371157 982974464 219438 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 239984 219438 1888 2271 0 234622 0
Current children cumulated CPU time: 2854.2 s
Current children cumulated vsize: 959936 KiB
Current children cumulated memory: 877752 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 81098
/proc/meminfo: memFree=111695876/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=959936 memory=877752 CPUtime=2914.01 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 120196 0 0 0 291171 230 0 0 20 0 1 0 72371157 982974464 219438 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 239984 219438 1888 2271 0 234622 0
Current children cumulated CPU time: 2914.01 s
Current children cumulated vsize: 959936 KiB
Current children cumulated memory: 877752 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 81100
/proc/meminfo: memFree=111695668/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=959936 memory=877752 CPUtime=2973.82 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 120197 0 0 0 297150 232 0 0 20 0 1 0 72371157 982974464 219438 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 239984 219438 1888 2271 0 234622 0
Current children cumulated CPU time: 2973.82 s
Current children cumulated vsize: 959936 KiB
Current children cumulated memory: 877752 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 81109
/proc/meminfo: memFree=111698732/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=959936 memory=877752 CPUtime=3033.63 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 120200 0 0 0 303129 234 0 0 20 0 1 0 72371157 982974464 219438 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 239984 219438 1888 2271 0 234622 0
Current children cumulated CPU time: 3033.63 s
Current children cumulated vsize: 959936 KiB
Current children cumulated memory: 877752 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 81111
/proc/meminfo: memFree=111690348/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=959936 memory=877752 CPUtime=3093.45 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 120270 0 0 0 309109 236 0 0 20 0 1 0 72371157 982974464 219438 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 239984 219438 1888 2271 0 234622 0
Current children cumulated CPU time: 3093.45 s
Current children cumulated vsize: 959936 KiB
Current children cumulated memory: 877752 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 81113
/proc/meminfo: memFree=111690412/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=959936 memory=877752 CPUtime=3153.26 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 120280 0 0 0 315088 238 0 0 20 0 1 0 72371157 982974464 219438 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 239984 219438 1888 2271 0 234622 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 959936 KiB
Current children cumulated memory: 877752 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 81115
/proc/meminfo: memFree=111662648/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=959936 memory=877752 CPUtime=3213.09 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 120381 0 0 0 321070 239 0 0 20 0 1 0 72371157 982974464 219438 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 239984 219438 1888 2271 0 234622 0
Current children cumulated CPU time: 3213.09 s
Current children cumulated vsize: 959936 KiB
Current children cumulated memory: 877752 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 81118
/proc/meminfo: memFree=111656448/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=959936 memory=877752 CPUtime=3272.91 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 120385 0 0 0 327052 239 0 0 20 0 1 0 72371157 982974464 219438 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 239984 219438 1888 2271 0 234622 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 959936 KiB
Current children cumulated memory: 877752 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 81120
/proc/meminfo: memFree=111653464/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=959936 memory=877752 CPUtime=3332.73 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 120387 0 0 0 333034 239 0 0 20 0 1 0 72371157 982974464 219438 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 239984 219438 1888 2271 0 234622 0
Current children cumulated CPU time: 3332.73 s
Current children cumulated vsize: 959936 KiB
Current children cumulated memory: 877752 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 81122
/proc/meminfo: memFree=111634920/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=959936 memory=877752 CPUtime=3392.55 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 120387 0 0 0 339016 239 0 0 20 0 1 0 72371157 982974464 219438 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 239984 219438 1888 2271 0 234622 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 959936 KiB
Current children cumulated memory: 877752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 81124
/proc/meminfo: memFree=111632016/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=959936 memory=877752 CPUtime=3452.37 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 120476 0 0 0 344998 239 0 0 20 0 1 0 72371157 982974464 219438 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 239984 219438 1888 2271 0 234622 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 959936 KiB
Current children cumulated memory: 877752 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 81126
/proc/meminfo: memFree=111637172/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=959936 memory=877752 CPUtime=3512.19 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 120496 0 0 0 350980 239 0 0 20 0 1 0 72371157 982974464 219438 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 239984 219438 1888 2271 0 234622 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 959936 KiB
Current children cumulated memory: 877752 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/264 81265
/proc/meminfo: memFree=112331544/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=959936 memory=877752 CPUtime=3572.01 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 120507 0 0 0 356962 239 0 0 20 0 1 0 72371157 982974464 219438 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 239984 219438 1888 2271 0 234622 0
Current children cumulated CPU time: 3572.01 s
Current children cumulated vsize: 959936 KiB
Current children cumulated memory: 877752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.17 4.13 4.10 5/261 81281
/proc/meminfo: memFree=112330616/131249996 swapFree=33004236/33010684
[pid=80948] ppid=80945 vsize=959936 memory=877752 CPUtime=3600.02 cores=0,2
/proc/80948/stat : 80948 (ExactPR) R 80945 80948 80825 0 -1 4194304 120507 0 0 0 359763 239 0 0 20 0 1 0 72371157 982974464 219438 18446744073709551615 94595426009088 94595435308933 140720883292656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94595437095232 94595437134312 94595470508032 140720883300741 140720883300876 140720883300876 140720883306478 0
/proc/80948/statm: 239984 219438 1888 2271 0 234622 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 959936 KiB
Current children cumulated memory: 877752 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.65 s, system=2.4035 s

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

Child status: 10

Real time (s): 3610.42
CPU time (s): 3600.05
CPU user time (s): 3597.65
CPU system time (s): 2.4035
CPU usage (%): 99.7128
Max. virtual memory (cumulated for all children) (KiB): 1031428
Max. memory (cumulated for all children) (KiB): 877752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.65
system time used= 2.4035
maximum resident set size= 878264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120551
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= 7902


# summary of solver processes directly reported to runsolver:
#   pid: 80948
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3597.65
#   total CPU system time (s): 2.4035

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78109 second user time and 15.7743 second system time

The end