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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494291-1751154372/watcher-4494291-1751154372 -o /tmp/evaluation-result-4494291-1751154372/solver-4494291-1751154372 -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=635681952 --ls=360 --inp-dombreaklim=0 HOME/instance-4494291-1751154372.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
Starting watchdog thread
solver pid=16938, runsolver pid=16935
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.08 4.10 4.13 5/264 16939
/proc/meminfo: memFree=126411220/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=47996 memory=25644 CPUtime=0.1 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 5206 0 0 0 9 1 0 0 20 0 1 0 31114755 49147904 6411 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 11999 6411 1024 1200 0 10479 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47996 KiB
Current children cumulated memory: 25644 KiB

[startup+0.205903 s]*
/proc/loadavg: 4.08 4.10 4.13 5/264 16939
/proc/meminfo: memFree=126387152/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=66928 memory=43628 CPUtime=0.2 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 8940 0 0 0 18 2 0 0 20 0 1 0 31114755 68534272 10907 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 16732 10907 1024 1200 0 15212 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66928 KiB
Current children cumulated memory: 43628 KiB

[startup+0.305784 s]*
/proc/loadavg: 4.08 4.10 4.13 5/264 16939
/proc/meminfo: memFree=126387304/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=70520 memory=53352 CPUtime=0.3 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 9850 0 0 0 28 2 0 0 20 0 1 0 31114755 72212480 13338 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 17630 13338 1024 1200 0 16110 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70520 KiB
Current children cumulated memory: 53352 KiB

[startup+0.700187 s]
/proc/loadavg: 4.08 4.10 4.13 5/264 16939
/proc/meminfo: memFree=126346980/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=123064 memory=111452 CPUtime=0.69 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 19794 0 0 0 64 5 0 0 20 0 1 0 31114755 126017536 27863 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 30766 27863 1024 1200 0 29246 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 123064 KiB
Current children cumulated memory: 111452 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.10 4.13 5/264 16939
/proc/meminfo: memFree=126270048/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=195992 memory=162076 CPUtime=1.49 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 28376 0 0 0 142 7 0 0 20 0 1 0 31114755 200695808 40519 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 48998 40519 1024 1200 0 47478 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 162076 KiB

[startup+3.10575 s]
/proc/loadavg: 4.08 4.10 4.13 5/264 16939
/proc/meminfo: memFree=126268380/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=195992 memory=162076 CPUtime=3.09 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 28397 0 0 0 302 7 0 0 20 0 1 0 31114755 200695808 40519 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 48998 40519 1024 1200 0 47478 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 162076 KiB

[startup+6.30019 s]
/proc/loadavg: 4.07 4.10 4.13 5/264 16939
/proc/meminfo: memFree=126268380/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=195992 memory=162076 CPUtime=6.27 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 28418 0 0 0 620 7 0 0 20 0 1 0 31114755 200695808 40519 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 48998 40519 1024 1200 0 47478 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 162076 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.13 5/264 16940
/proc/meminfo: memFree=126256392/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=195992 memory=162076 CPUtime=12.64 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 28439 0 0 0 1257 7 0 0 20 0 1 0 31114755 200695808 40519 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 48998 40519 1024 1200 0 47478 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 162076 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.13 5/263 16954
/proc/meminfo: memFree=128991812/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=195992 memory=162076 CPUtime=25.41 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 28443 0 0 0 2534 7 0 0 20 0 1 0 31114755 200695808 40519 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 48998 40519 1024 1200 0 47478 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 162076 KiB

[startup+51.1058 s]
/proc/loadavg: 4.08 4.10 4.13 5/264 16985
/proc/meminfo: memFree=127649620/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=195992 memory=162076 CPUtime=50.93 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 28481 0 0 0 5086 7 0 0 20 0 1 0 31114755 200695808 40519 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 48998 40519 1024 1200 0 47478 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 162076 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/264 16990
/proc/meminfo: memFree=127695828/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=195992 memory=162076 CPUtime=101.95 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 28523 0 0 0 10188 7 0 0 20 0 1 0 31114755 200695808 40519 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 48998 40519 1024 1200 0 47478 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 162076 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.12 5/265 16995
/proc/meminfo: memFree=127698004/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=195992 memory=162076 CPUtime=161.75 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 28546 0 0 0 16168 7 0 0 20 0 1 0 31114755 200695808 40519 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 48998 40519 1024 1200 0 47478 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 162076 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.11 5/266 17000
/proc/meminfo: memFree=127673324/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=195992 memory=167196 CPUtime=221.52 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 28630 0 0 0 22145 7 0 0 20 0 1 0 31114755 200695808 41799 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 48998 41799 1024 1200 0 47478 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 167196 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/266 17002
/proc/meminfo: memFree=127447020/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=195992 memory=167196 CPUtime=281.33 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 28698 0 0 0 28126 7 0 0 20 0 1 0 31114755 200695808 41799 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 48998 41799 1024 1200 0 47478 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 167196 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.08 4.10 5/266 17048
/proc/meminfo: memFree=127361880/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=195992 memory=167196 CPUtime=341.13 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 28698 0 0 0 34106 7 0 0 20 0 1 0 31114755 200695808 41799 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 48998 41799 1024 1200 0 47478 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 167196 KiB

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

# cumulated CPU time of all completed processes:  user=367.578 s, system=0.168464 s

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

[startup+345.6 s]
/proc/loadavg: 4.04 4.08 4.10 5/266 17048
/proc/meminfo: memFree=127360408/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=195992 memory=167196 CPUtime=344.42 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 28766 0 0 0 34435 7 0 0 20 0 1 0 31114755 200695808 41799 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 48998 41799 1024 1200 0 47478 0
Current children cumulated CPU time: 344.42 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 167196 KiB

[startup+358.4 s]
/proc/loadavg: 4.12 4.09 4.10 5/266 17049
/proc/meminfo: memFree=127361464/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=195992 memory=167196 CPUtime=357.17 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 28766 0 0 0 35710 7 0 0 20 0 1 0 31114755 200695808 41799 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 48998 41799 1024 1200 0 47478 0
Current children cumulated CPU time: 357.17 s
Current children cumulated vsize: 195992 KiB
Current children cumulated memory: 167196 KiB

[startup+364.8 s]
/proc/loadavg: 4.11 4.09 4.10 5/266 17049
/proc/meminfo: memFree=127119124/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=409256 memory=379564 CPUtime=363.55 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 46606 0 0 0 36340 15 0 0 20 0 1 0 31114755 419078144 94891 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 102314 94891 1184 1200 0 100794 0
Current children cumulated CPU time: 363.55 s
Current children cumulated vsize: 409256 KiB
Current children cumulated memory: 379564 KiB

[startup+366.4 s]
/proc/loadavg: 4.10 4.09 4.10 5/266 17049
/proc/meminfo: memFree=127116956/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=409256 memory=379564 CPUtime=365.14 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 46606 0 0 0 36499 15 0 0 20 0 1 0 31114755 419078144 94891 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 102314 94891 1184 1200 0 100794 0
Current children cumulated CPU time: 365.14 s
Current children cumulated vsize: 409256 KiB
Current children cumulated memory: 379564 KiB

[startup+368 s]*
/proc/loadavg: 4.10 4.09 4.10 5/266 17049
/proc/meminfo: memFree=127117224/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=409256 memory=379564 CPUtime=366.75 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 46606 0 0 0 36659 16 0 0 20 0 1 0 31114755 419078144 94891 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 102314 94891 1184 1200 0 100794 0
Current children cumulated CPU time: 366.75 s
Current children cumulated vsize: 409256 KiB
Current children cumulated memory: 379564 KiB

[startup+368.4 s]
/proc/loadavg: 4.10 4.09 4.10 5/266 17049
/proc/meminfo: memFree=127117224/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=409256 memory=379564 CPUtime=367.14 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 46606 0 0 0 36698 16 0 0 20 0 1 0 31114755 419078144 94891 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 102314 94891 1184 1200 0 100794 0
Current children cumulated CPU time: 367.14 s
Current children cumulated vsize: 409256 KiB
Current children cumulated memory: 379564 KiB

[startup+368.8 s]
/proc/loadavg: 4.10 4.09 4.10 5/266 17049
/proc/meminfo: memFree=127117224/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=409256 memory=379564 CPUtime=367.54 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 46606 0 0 0 36738 16 0 0 20 0 1 0 31114755 419078144 94891 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 102314 94891 1184 1200 0 100794 0
Current children cumulated CPU time: 367.54 s
Current children cumulated vsize: 409256 KiB
Current children cumulated memory: 379564 KiB

[startup+368.9 s]
/proc/loadavg: 4.10 4.09 4.10 5/266 17049
/proc/meminfo: memFree=127117224/131250000 swapFree=33010684/33010684
[pid=16938] ppid=16935 vsize=409256 memory=379564 CPUtime=367.64 cores=1,3
/proc/16938/stat : 16938 (Exact) R 16935 16938 14937 0 -1 4194304 46606 0 0 0 36748 16 0 0 20 0 1 0 31114755 419078144 94891 18446744073709551615 4198400 9112445 140727587103840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 43266048 140727587113255 140727587113453 140727587113453 140727587119055 0
/proc/16938/statm: 102314 94891 1184 1200 0 100794 0
Current children cumulated CPU time: 367.64 s
Current children cumulated vsize: 409256 KiB
Current children cumulated memory: 379564 KiB

Child status: 30

Real time (s): 369
CPU time (s): 367.747
CPU user time (s): 367.578
CPU system time (s): 0.168464
CPU usage (%): 99.6604
Max. virtual memory (cumulated for all children) (KiB): 450380
Max. memory (cumulated for all children) (KiB): 419952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 367.578
system time used= 0.168464
maximum resident set size= 419952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46617
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= 49
involuntary context switches= 473


# summary of solver processes directly reported to runsolver:
#   pid: 16938
#   total CPU time (s): 367.747
#   total CPU user time (s): 367.578
#   total CPU system time (s): 0.168464

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.736722 second user time and 1.72414 second system time

The end