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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494399-1751154743/watcher-4494399-1751154743 -o /tmp/evaluation-result-4494399-1751154743/solver-4494399-1751154743 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751146906-14949 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=544637926 --ls=360 --inp-dombreaklim=0 HOME/instance-4494399-1751154743.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=17093, runsolver pid=17090

[startup+0.100066 s]*
/proc/loadavg: 4.09 4.09 4.10 5/266 17094
/proc/meminfo: memFree=127512984/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=47848 memory=26372 CPUtime=0.09 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 5389 0 0 0 9 0 0 0 20 0 1 0 31151869 48996352 6593 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 11962 6593 1024 1200 0 10442 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47848 KiB
Current children cumulated memory: 26372 KiB

[startup+0.205762 s]*
/proc/loadavg: 4.09 4.09 4.10 5/266 17094
/proc/meminfo: memFree=127511076/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=66904 memory=44460 CPUtime=0.2 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 9149 0 0 0 18 2 0 0 20 0 1 0 31151869 68509696 11115 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 16726 11115 1024 1200 0 15206 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66904 KiB
Current children cumulated memory: 44460 KiB

[startup+0.305629 s]*
/proc/loadavg: 4.09 4.09 4.10 5/266 17094
/proc/meminfo: memFree=127506224/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=71844 memory=53364 CPUtime=0.3 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 10355 0 0 0 28 2 0 0 20 0 1 0 31151869 73568256 13341 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 17961 13341 1024 1200 0 16441 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71844 KiB
Current children cumulated memory: 53364 KiB

[startup+0.700177 s]
/proc/loadavg: 4.09 4.09 4.10 5/266 17094
/proc/meminfo: memFree=127466656/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=124676 memory=114084 CPUtime=0.69 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 20439 0 0 0 64 5 0 0 20 0 1 0 31151869 127668224 28521 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 31169 28521 1024 1200 0 29649 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 124676 KiB
Current children cumulated memory: 114084 KiB

[startup+1.50019 s]
/proc/loadavg: 4.09 4.09 4.10 5/266 17094
/proc/meminfo: memFree=127381660/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=195972 memory=162540 CPUtime=1.49 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 28477 0 0 0 141 8 0 0 20 0 1 0 31151869 200675328 40635 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 48993 40635 1024 1200 0 47473 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 162540 KiB

[startup+3.10564 s]
/proc/loadavg: 4.09 4.09 4.10 5/266 17094
/proc/meminfo: memFree=127381772/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=195972 memory=162540 CPUtime=3.09 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 28498 0 0 0 301 8 0 0 20 0 1 0 31151869 200675328 40635 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 48993 40635 1024 1200 0 47473 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 162540 KiB

[startup+6.30017 s]
/proc/loadavg: 4.08 4.08 4.10 5/266 17095
/proc/meminfo: memFree=127383780/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=195972 memory=162540 CPUtime=6.27 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 28519 0 0 0 619 8 0 0 20 0 1 0 31151869 200675328 40635 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 48993 40635 1024 1200 0 47473 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 162540 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.10 5/266 17095
/proc/meminfo: memFree=127383780/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=195972 memory=162540 CPUtime=12.64 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 28540 0 0 0 1256 8 0 0 20 0 1 0 31151869 200675328 40635 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 48993 40635 1024 1200 0 47473 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 162540 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 17095
/proc/meminfo: memFree=127391492/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=195972 memory=162540 CPUtime=25.4 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 28544 0 0 0 2532 8 0 0 20 0 1 0 31151869 200675328 40635 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 48993 40635 1024 1200 0 47473 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 162540 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 17095
/proc/meminfo: memFree=125953620/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=195972 memory=162540 CPUtime=50.92 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 28582 0 0 0 5084 8 0 0 20 0 1 0 31151869 200675328 40635 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 48993 40635 1024 1200 0 47473 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 162540 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 17098
/proc/meminfo: memFree=125935136/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=195972 memory=162540 CPUtime=101.93 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 28624 0 0 0 10185 8 0 0 20 0 1 0 31151869 200675328 40635 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 48993 40635 1024 1200 0 47473 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 162540 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 17190
/proc/meminfo: memFree=129003992/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=195972 memory=162540 CPUtime=161.7 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 28645 0 0 0 16162 8 0 0 20 0 1 0 31151869 200675328 40635 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 48993 40635 1024 1200 0 47473 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 162540 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 17192
/proc/meminfo: memFree=128977824/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=195972 memory=162540 CPUtime=221.45 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 28666 0 0 0 22137 8 0 0 20 0 1 0 31151869 200675328 40635 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 48993 40635 1024 1200 0 47473 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 162540 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 17194
/proc/meminfo: memFree=128245840/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=195972 memory=162540 CPUtime=281.2 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 28687 0 0 0 28112 8 0 0 20 0 1 0 31151869 200675328 40635 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 48993 40635 1024 1200 0 47473 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 162540 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 17241
/proc/meminfo: memFree=129467360/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=195972 memory=162540 CPUtime=340.96 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 28707 0 0 0 34088 8 0 0 20 0 1 0 31151869 200675328 40635 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 48993 40635 1024 1200 0 47473 0
Current children cumulated CPU time: 340.96 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 162540 KiB

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

# cumulated CPU time of all completed processes:  user=368.448 s, system=0.161548 s

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

[startup+345.6 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 17241
/proc/meminfo: memFree=129467924/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=195972 memory=162540 CPUtime=344.25 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 28749 0 0 0 34417 8 0 0 20 0 1 0 31151869 200675328 40635 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 48993 40635 1024 1200 0 47473 0
Current children cumulated CPU time: 344.25 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 162540 KiB

[startup+358.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 17241
/proc/meminfo: memFree=129467636/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=195972 memory=162540 CPUtime=357 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 28756 0 0 0 35692 8 0 0 20 0 1 0 31151869 200675328 40635 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 48993 40635 1024 1200 0 47473 0
Current children cumulated CPU time: 357 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 162540 KiB

[startup+364.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 17241
/proc/meminfo: memFree=129217840/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=409500 memory=375364 CPUtime=363.38 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 44667 0 0 0 36323 15 0 0 20 0 1 0 31151869 419328000 93841 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 102375 93841 1184 1200 0 100855 0
Current children cumulated CPU time: 363.38 s
Current children cumulated vsize: 409500 KiB
Current children cumulated memory: 375364 KiB

[startup+368 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 17241
/proc/meminfo: memFree=129226004/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=409500 memory=375364 CPUtime=366.57 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 44667 0 0 0 36642 15 0 0 20 0 1 0 31151869 419328000 93841 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 102375 93841 1184 1200 0 100855 0
Current children cumulated CPU time: 366.57 s
Current children cumulated vsize: 409500 KiB
Current children cumulated memory: 375364 KiB

[startup+368.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 17241
/proc/meminfo: memFree=129226004/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=409500 memory=375364 CPUtime=367.36 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 44667 0 0 0 36721 15 0 0 20 0 1 0 31151869 419328000 93841 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 102375 93841 1184 1200 0 100855 0
Current children cumulated CPU time: 367.36 s
Current children cumulated vsize: 409500 KiB
Current children cumulated memory: 375364 KiB

[startup+369.6 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 17241
/proc/meminfo: memFree=129239272/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=409500 memory=375364 CPUtime=368.15 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 44667 0 0 0 36800 15 0 0 20 0 1 0 31151869 419328000 93841 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 102375 93841 1184 1200 0 100855 0
Current children cumulated CPU time: 368.15 s
Current children cumulated vsize: 409500 KiB
Current children cumulated memory: 375364 KiB

[startup+370 s]*
/proc/loadavg: 4.08 4.08 4.09 5/264 17241
/proc/meminfo: memFree=129243368/131250000 swapFree=33010684/33010684
[pid=17093] ppid=17090 vsize=409500 memory=375620 CPUtime=368.56 cores=1,3
/proc/17093/stat : 17093 (Exact) R 17090 17093 14937 0 -1 4194304 44671 0 0 0 36841 15 0 0 20 0 1 0 31151869 419328000 93905 18446744073709551615 4198400 9112445 140735747803584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 21463040 140735747807527 140735747807725 140735747807725 140735747813327 0
/proc/17093/statm: 102375 93905 1248 1200 0 100855 0
Current children cumulated CPU time: 368.56 s
Current children cumulated vsize: 409500 KiB
Current children cumulated memory: 375620 KiB

Child status: 30

Real time (s): 370.047
CPU time (s): 368.61
CPU user time (s): 368.448
CPU system time (s): 0.161548
CPU usage (%): 99.6117
Max. virtual memory (cumulated for all children) (KiB): 450624
Max. memory (cumulated for all children) (KiB): 416320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 368.448
system time used= 0.161548
maximum resident set size= 416320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44687
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= 29
involuntary context switches= 474


# summary of solver processes directly reported to runsolver:
#   pid: 17093
#   total CPU time (s): 368.61
#   total CPU user time (s): 368.448
#   total CPU system time (s): 0.161548

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.827978 second user time and 1.50003 second system time

The end