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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522431-1751591003/watcher-4522431-1751591003 -o /tmp/evaluation-result-4522431-1751591003/solver-4522431-1751591003 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751582415-82516 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=783639032 --ls=360 --inp-dombreaklim=0 HOME/instance-4522431-1751591003.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
Current StackSize limit: 8192 KiB

solver pid=83705, runsolver pid=83702

[startup+0.100069 s]*
/proc/loadavg: 4.47 4.23 4.17 5/253 83706
/proc/meminfo: memFree=124942536/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=30712 memory=7296 CPUtime=0.1 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 946 0 0 0 10 0 0 0 20 0 1 0 74779716 31449088 1824 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+0.212684 s]*
/proc/loadavg: 4.47 4.23 4.17 5/253 83706
/proc/meminfo: memFree=124942536/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=30712 memory=7296 CPUtime=0.22 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 946 0 0 0 22 0 0 0 20 0 1 0 74779716 31449088 1824 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+0.312486 s]*
/proc/loadavg: 4.47 4.23 4.17 5/253 83706
/proc/meminfo: memFree=124942536/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=30712 memory=7296 CPUtime=0.32 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 946 0 0 0 32 0 0 0 20 0 1 0 74779716 31449088 1824 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+0.700309 s]
/proc/loadavg: 4.47 4.23 4.17 5/253 83706
/proc/meminfo: memFree=124938440/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=30712 memory=7296 CPUtime=0.69 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 946 0 0 0 69 0 0 0 20 0 1 0 74779716 31449088 1824 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+1.50027 s]
/proc/loadavg: 4.47 4.23 4.17 5/253 83706
/proc/meminfo: memFree=124940100/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=30712 memory=7296 CPUtime=1.49 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 946 0 0 0 149 0 0 0 20 0 1 0 74779716 31449088 1824 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+3.11304 s]
/proc/loadavg: 4.60 4.26 4.18 5/253 83706
/proc/meminfo: memFree=124944200/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=30712 memory=7296 CPUtime=3.09 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 946 0 0 0 309 0 0 0 20 0 1 0 74779716 31449088 1824 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+6.3003 s]
/proc/loadavg: 4.60 4.26 4.18 5/253 83706
/proc/meminfo: memFree=124969408/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=30712 memory=7296 CPUtime=6.27 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 946 0 0 0 627 0 0 0 20 0 1 0 74779716 31449088 1824 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+12.7003 s]
/proc/loadavg: 4.63 4.27 4.19 5/253 83706
/proc/meminfo: memFree=125019064/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=30712 memory=7296 CPUtime=12.65 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 946 0 0 0 1265 0 0 0 20 0 1 0 74779716 31449088 1824 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+25.5003 s]
/proc/loadavg: 4.71 4.31 4.20 5/253 83707
/proc/meminfo: memFree=125097672/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=30712 memory=7296 CPUtime=25.41 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 946 0 0 0 2541 0 0 0 20 0 1 0 74779716 31449088 1824 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+51.1132 s]
/proc/loadavg: 4.72 4.35 4.22 5/253 83707
/proc/meminfo: memFree=125152748/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=30712 memory=7296 CPUtime=50.93 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 946 0 0 0 5093 0 0 0 20 0 1 0 74779716 31449088 1824 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+102.3 s]
/proc/loadavg: 4.38 4.31 4.21 5/253 83715
/proc/meminfo: memFree=124368472/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=30712 memory=7296 CPUtime=101.95 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 947 0 0 0 10195 0 0 0 20 0 1 0 74779716 31449088 1824 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.26 4.20 5/253 83718
/proc/meminfo: memFree=123979720/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=30712 memory=7296 CPUtime=161.74 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 947 0 0 0 16174 0 0 0 20 0 1 0 74779716 31449088 1824 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.25 4.19 5/251 83720
/proc/meminfo: memFree=123864256/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=30712 memory=7296 CPUtime=221.55 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 947 0 0 0 22155 0 0 0 20 0 1 0 74779716 31449088 1824 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.21 4.18 5/252 83723
/proc/meminfo: memFree=123594148/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=30712 memory=7296 CPUtime=281.34 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 947 0 0 0 28134 0 0 0 20 0 1 0 74779716 31449088 1824 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.19 4.17 5/252 83725
/proc/meminfo: memFree=123345460/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=30712 memory=7296 CPUtime=341.15 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 947 0 0 0 34115 0 0 0 20 0 1 0 74779716 31449088 1824 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 7678 1824 1024 1200 0 6158 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 30712 KiB
Current children cumulated memory: 7296 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.18 4.17 5/252 83727
/proc/meminfo: memFree=122775764/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=149856 memory=124676 CPUtime=400.93 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 20180 0 0 0 40075 18 0 0 20 0 1 0 74779716 153452544 31169 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 37464 31169 1248 1200 0 35944 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 149856 KiB
Current children cumulated memory: 124676 KiB

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

# cumulated CPU time of all completed processes:  user=417.7 s, system=0.245097 s

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

[startup+409.6 s]
/proc/loadavg: 4.11 4.17 4.17 5/252 83727
/proc/meminfo: memFree=122761652/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=164028 memory=136708 CPUtime=408.21 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 23171 0 0 0 40800 21 0 0 20 0 1 0 74779716 167964672 34177 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 41007 34177 1248 1200 0 39487 0
Current children cumulated CPU time: 408.21 s
Current children cumulated vsize: 164028 KiB
Current children cumulated memory: 136708 KiB

[startup+416 s]*
/proc/loadavg: 4.10 4.17 4.17 5/252 83727
/proc/meminfo: memFree=122762724/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=164028 memory=136708 CPUtime=414.6 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 23171 0 0 0 41437 23 0 0 20 0 1 0 74779716 167964672 34177 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 41007 34177 1248 1200 0 39487 0
Current children cumulated CPU time: 414.6 s
Current children cumulated vsize: 164028 KiB
Current children cumulated memory: 136708 KiB

[startup+417.6 s]
/proc/loadavg: 4.10 4.17 4.17 5/252 83727
/proc/meminfo: memFree=122762976/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=164028 memory=136708 CPUtime=416.17 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 23187 0 0 0 41594 23 0 0 20 0 1 0 74779716 167964672 34177 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 41007 34177 1248 1200 0 39487 0
Current children cumulated CPU time: 416.17 s
Current children cumulated vsize: 164028 KiB
Current children cumulated memory: 136708 KiB

[startup+418.4 s]
/proc/loadavg: 4.09 4.17 4.17 5/252 83727
/proc/meminfo: memFree=122763480/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=164028 memory=136708 CPUtime=416.97 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 23188 0 0 0 41674 23 0 0 20 0 1 0 74779716 167964672 34177 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 41007 34177 1248 1200 0 39487 0
Current children cumulated CPU time: 416.97 s
Current children cumulated vsize: 164028 KiB
Current children cumulated memory: 136708 KiB

[startup+418.8 s]
/proc/loadavg: 4.09 4.17 4.17 5/252 83727
/proc/meminfo: memFree=122763480/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=164028 memory=136708 CPUtime=417.38 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 23188 0 0 0 41714 24 0 0 20 0 1 0 74779716 167964672 34177 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 41007 34177 1248 1200 0 39487 0
Current children cumulated CPU time: 417.38 s
Current children cumulated vsize: 164028 KiB
Current children cumulated memory: 136708 KiB

[startup+419.2 s]
/proc/loadavg: 4.09 4.17 4.17 5/252 83727
/proc/meminfo: memFree=122763732/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=164028 memory=136708 CPUtime=417.77 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 23189 0 0 0 41753 24 0 0 20 0 1 0 74779716 167964672 34177 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 41007 34177 1248 1200 0 39487 0
Current children cumulated CPU time: 417.77 s
Current children cumulated vsize: 164028 KiB
Current children cumulated memory: 136708 KiB

[startup+419.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/252 83727
/proc/meminfo: memFree=122763732/131382120 swapFree=33010416/33010684
[pid=83705] ppid=83702 vsize=164028 memory=136708 CPUtime=417.87 cores=0,2
/proc/83705/stat : 83705 (Exact) R 83702 83705 82502 0 -1 4194304 23189 0 0 0 41763 24 0 0 20 0 1 0 74779716 167964672 34177 18446744073709551615 4198400 9112445 140728772419600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28823552 140728772421927 140728772422125 140728772422125 140728772427727 0
/proc/83705/statm: 41007 34177 1248 1200 0 39487 0
Current children cumulated CPU time: 417.87 s
Current children cumulated vsize: 164028 KiB
Current children cumulated memory: 136708 KiB

Child status: 30

Real time (s): 419.366
CPU time (s): 417.945
CPU user time (s): 417.7
CPU system time (s): 0.245097
CPU usage (%): 99.6611
Max. virtual memory (cumulated for all children) (KiB): 164028
Max. memory (cumulated for all children) (KiB): 136708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 417.7
system time used= 0.245097
maximum resident set size= 136836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23192
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= 2
involuntary context switches= 1055


# summary of solver processes directly reported to runsolver:
#   pid: 83705
#   total CPU time (s): 417.945
#   total CPU user time (s): 417.7
#   total CPU system time (s): 0.245097

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.97563 second user time and 4.2473 second system time

The end