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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525996-1751629005/watcher-4525996-1751629005 -o /tmp/evaluation-result-4525996-1751629005/solver-4525996-1751629005 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751629005-106629 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=111087282 --ls=360 --inp-dombreaklim=0 HOME/instance-4525996-1751629005.wbo 

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
Current StackSize limit: 8192 KiB

solver pid=106680, runsolver pid=106671

[startup+0.10006 s]*
/proc/loadavg: 1.06 1.14 1.86 5/267 106689
/proc/meminfo: memFree=117577788/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=70784 memory=46356 CPUtime=0.09 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 12878 0 0 0 7 2 0 0 20 0 1 0 78578044 72482816 11589 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 17696 11589 1024 1200 0 16176 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 70784 KiB
Current children cumulated memory: 46356 KiB

[startup+0.204688 s]*
/proc/loadavg: 1.06 1.14 1.86 5/267 106689
/proc/meminfo: memFree=117496008/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=112724 memory=86784 CPUtime=0.19 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 21902 0 0 0 16 3 0 0 20 0 1 0 78578044 115429376 21696 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 28181 21696 1024 1200 0 26661 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 112724 KiB
Current children cumulated memory: 86784 KiB

[startup+0.304817 s]*
/proc/loadavg: 1.06 1.14 1.86 5/267 106689
/proc/meminfo: memFree=117440188/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=149672 memory=125380 CPUtime=0.29 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 29598 0 0 0 25 4 0 0 20 0 1 0 78578044 153264128 31345 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 37418 31345 1024 1200 0 35898 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 149672 KiB
Current children cumulated memory: 125380 KiB

[startup+0.700137 s]
/proc/loadavg: 1.06 1.14 1.86 5/267 106689
/proc/meminfo: memFree=117416392/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=148932 CPUtime=0.68 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35497 0 0 0 63 5 0 0 20 0 1 0 78578044 178401280 37233 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 37233 1024 1200 0 42035 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 148932 KiB

[startup+1.50014 s]
/proc/loadavg: 1.06 1.14 1.86 5/267 106689
/proc/meminfo: memFree=117416392/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=148932 CPUtime=1.48 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35497 0 0 0 143 5 0 0 20 0 1 0 78578044 178401280 37233 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 37233 1024 1200 0 42035 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 148932 KiB

[startup+3.10494 s]
/proc/loadavg: 1.30 1.19 1.87 5/266 106689
/proc/meminfo: memFree=117416776/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=148932 CPUtime=3.07 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35504 0 0 0 302 5 0 0 20 0 1 0 78578044 178401280 37233 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 37233 1024 1200 0 42035 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 148932 KiB

[startup+6.30016 s]
/proc/loadavg: 1.30 1.19 1.87 5/266 106689
/proc/meminfo: memFree=117417040/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=148932 CPUtime=6.26 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35511 0 0 0 621 5 0 0 20 0 1 0 78578044 178401280 37233 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 37233 1024 1200 0 42035 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 148932 KiB

[startup+12.7002 s]
/proc/loadavg: 1.71 1.28 1.89 5/266 106689
/proc/meminfo: memFree=117417088/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=148932 CPUtime=12.64 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35518 0 0 0 1259 5 0 0 20 0 1 0 78578044 178401280 37233 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 37233 1024 1200 0 42035 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 148932 KiB

[startup+25.5002 s]
/proc/loadavg: 2.06 1.37 1.92 5/266 106689
/proc/meminfo: memFree=117413040/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=148932 CPUtime=25.39 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35520 0 0 0 2534 5 0 0 20 0 1 0 78578044 178401280 37233 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 37233 1024 1200 0 42035 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 148932 KiB

[startup+51.1053 s]
/proc/loadavg: 2.78 1.60 1.98 5/266 106690
/proc/meminfo: memFree=117396512/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=148932 CPUtime=50.9 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35547 0 0 0 5085 5 0 0 20 0 1 0 78578044 178401280 37233 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 37233 1024 1200 0 42035 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 148932 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 2.02 2.10 5/266 106691
/proc/meminfo: memFree=117408148/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=153156 CPUtime=101.91 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35604 0 0 0 10186 5 0 0 20 0 1 0 78578044 178401280 38289 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 38289 1024 1200 0 42035 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 153156 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.42 2.23 5/266 106693
/proc/meminfo: memFree=117383108/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=155332 CPUtime=161.75 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35654 0 0 0 16170 5 0 0 20 0 1 0 78578044 178401280 38833 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 38833 1024 1200 0 42035 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 155332 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.71 2.35 5/265 106695
/proc/meminfo: memFree=117373432/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=155332 CPUtime=221.6 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35746 0 0 0 22155 5 0 0 20 0 1 0 78578044 178401280 38833 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 38833 1024 1200 0 42035 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 155332 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 2.96 2.46 5/265 106697
/proc/meminfo: memFree=117397508/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=155332 CPUtime=281.44 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35746 0 0 0 28139 5 0 0 20 0 1 0 78578044 178401280 38833 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 38833 1024 1200 0 42035 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 155332 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.18 2.57 5/264 106700
/proc/meminfo: memFree=117404668/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=155332 CPUtime=341.28 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35792 0 0 0 34123 5 0 0 20 0 1 0 78578044 178401280 38833 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 38833 1024 1200 0 42035 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 155332 KiB

[startup+360.938 s]
# the end of solver process 106680 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=359.792 s, system=0.087711 s

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

[startup+345.6 s]
/proc/loadavg: 4.11 3.18 2.57 5/264 106700
/proc/meminfo: memFree=117404668/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=155332 CPUtime=344.57 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35792 0 0 0 34452 5 0 0 20 0 1 0 78578044 178401280 38833 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 38833 1024 1200 0 42035 0
Current children cumulated CPU time: 344.57 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 155332 KiB

[startup+352 s]*
/proc/loadavg: 4.09 3.21 2.58 5/264 106701
/proc/meminfo: memFree=117404448/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=155332 CPUtime=350.96 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35792 0 0 0 35091 5 0 0 20 0 1 0 78578044 178401280 38833 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 38833 1024 1200 0 42035 0
Current children cumulated CPU time: 350.96 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 155332 KiB

[startup+355.2 s]
/proc/loadavg: 4.09 3.21 2.58 5/264 106701
/proc/meminfo: memFree=117404464/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=155332 CPUtime=354.14 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35792 0 0 0 35409 5 0 0 20 0 1 0 78578044 178401280 38833 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 38833 1024 1200 0 42035 0
Current children cumulated CPU time: 354.14 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 155332 KiB

[startup+358.4 s]
/proc/loadavg: 4.09 3.22 2.59 5/264 106701
/proc/meminfo: memFree=117404504/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=155332 CPUtime=357.33 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35792 0 0 0 35728 5 0 0 20 0 1 0 78578044 178401280 38833 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 38833 1024 1200 0 42035 0
Current children cumulated CPU time: 357.33 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 155332 KiB

[startup+360 s]*
/proc/loadavg: 4.09 3.22 2.59 5/264 106701
/proc/meminfo: memFree=117404544/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=174220 memory=155332 CPUtime=358.94 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 35792 0 0 0 35889 5 0 0 20 0 1 0 78578044 178401280 38833 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43555 38833 1024 1200 0 42035 0
Current children cumulated CPU time: 358.94 s
Current children cumulated vsize: 174220 KiB
Current children cumulated memory: 155332 KiB

[startup+360.4 s]
/proc/loadavg: 4.09 3.22 2.59 5/264 106701
/proc/meminfo: memFree=117404544/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=175656 memory=156996 CPUtime=359.33 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 36174 0 0 0 35928 5 0 0 20 0 1 0 78578044 179871744 39249 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 43914 39249 1088 1200 0 42394 0
Current children cumulated CPU time: 359.33 s
Current children cumulated vsize: 175656 KiB
Current children cumulated memory: 156996 KiB

[startup+360.8 s]
/proc/loadavg: 4.09 3.22 2.59 5/264 106701
/proc/meminfo: memFree=117404544/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=241924 memory=221712 CPUtime=359.73 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 50561 0 0 0 35966 7 0 0 20 0 1 0 78578044 247730176 55428 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 60481 55428 1248 1200 0 58961 0
Current children cumulated CPU time: 359.73 s
Current children cumulated vsize: 241924 KiB
Current children cumulated memory: 221712 KiB

[startup+360.9 s]
/proc/loadavg: 4.09 3.22 2.59 5/264 106701
/proc/meminfo: memFree=117404544/131250000 swapFree=33010160/33010684
[pid=106680] ppid=106671 vsize=253000 memory=227472 CPUtime=359.83 cores=0,2
/proc/106680/stat : 106680 (Exact) R 106671 106680 106619 0 -1 4194304 51974 0 0 0 35975 8 0 0 20 0 1 0 78578044 259072000 56868 18446744073709551615 4198400 9112445 140724478275104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 26279936 140724478282020 140724478282218 140724478282218 140724478287823 0
/proc/106680/statm: 63250 56868 1280 1200 0 61730 0
Current children cumulated CPU time: 359.83 s
Current children cumulated vsize: 253000 KiB
Current children cumulated memory: 227472 KiB

Child status: 30

Real time (s): 360.938
CPU time (s): 359.88
CPU user time (s): 359.792
CPU system time (s): 0.087711
CPU usage (%): 99.7069
Max. virtual memory (cumulated for all children) (KiB): 253000
Max. memory (cumulated for all children) (KiB): 227472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 359.792
system time used= 0.087711
maximum resident set size= 227472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51977
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= 33
involuntary context switches= 786


# summary of solver processes directly reported to runsolver:
#   pid: 106680
#   total CPU time (s): 359.88
#   total CPU user time (s): 359.792
#   total CPU system time (s): 0.087711

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.627237 second user time and 1.57749 second system time

The end