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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499652-1751467129/watcher-4499652-1751467129 -o /tmp/evaluation-result-4499652-1751467129/solver-4499652-1751467129 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751459929-64697 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4499652-1751467129.opb 3600 HOME 

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=65656, runsolver pid=65653

[startup+0.10006 s]*
/proc/loadavg: 4.09 4.12 4.10 5/262 65660
/proc/meminfo: memFree=119135828/131249992 swapFree=33010160/33010684
[pid=65656] ppid=65653 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/65656/stat : 65656 (Hybrid-CASHWMax) S 65653 65656 64687 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 62387468 4427776 768 18446744073709551615 94472731435008 94472732329541 140723751401168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94472732568592 94472732616336 94472765284352 140723751405911 140723751406065 140723751406065 140723751411667 0
/proc/65656/statm: 1081 768 704 219 0 143 0
[pid=65659] ppid=65656 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65659/stat : 65659 (timeout) S 65656 65659 64687 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62387470 2723840 320 18446744073709551615 93896961064960 93896961081473 140722266373072 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93896961096240 93896961098328 93896991666176 140722266376598 140722266376738 140722266376738 140722266382311 0
/proc/65659/statm: 665 320 320 5 0 90 0
[pid=65660] ppid=65659 vsize=31548 memory=17152 CPUtime=0.07 cores=0,2
/proc/65660/stat : 65660 (CASHWMaxSAT-Dis) R 65659 65659 64687 0 -1 4194304 3530 0 0 0 6 1 0 0 20 0 1 0 62387471 32305152 4288 18446744073709551615 4198400 14817773 140730609421296 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 46800896 140730609428892 140730609429019 140730609429019 140730609434592 0
/proc/65660/statm: 7887 4288 864 2593 0 4780 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 38532 KiB
Current children cumulated memory: 21504 KiB

[startup+0.205481 s]*
/proc/loadavg: 4.09 4.12 4.10 3/261 65660
/proc/meminfo: memFree=119133364/131249992 swapFree=33010160/33010684
[pid=65656] ppid=65653 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/65656/stat : 65656 (Hybrid-CASHWMax) S 65653 65656 64687 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 62387468 4427776 768 18446744073709551615 94472731435008 94472732329541 140723751401168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94472732568592 94472732616336 94472765284352 140723751405911 140723751406065 140723751406065 140723751411667 0
/proc/65656/statm: 1081 768 704 219 0 143 0
[pid=65659] ppid=65656 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65659/stat : 65659 (timeout) S 65656 65659 64687 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62387470 2723840 320 18446744073709551615 93896961064960 93896961081473 140722266373072 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93896961096240 93896961098328 93896991666176 140722266376598 140722266376738 140722266376738 140722266382311 0
/proc/65659/statm: 665 320 320 5 0 90 0
[pid=65660] ppid=65659 vsize=49328 memory=34944 CPUtime=0.17 cores=0,2
/proc/65660/stat : 65660 (CASHWMaxSAT-Dis) R 65659 65659 64687 0 -1 4194304 7965 0 0 0 16 1 0 0 20 0 1 0 62387471 50511872 8736 18446744073709551615 4198400 14817773 140730609421296 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 46800896 140730609428892 140730609429019 140730609429019 140730609434592 0
/proc/65660/statm: 12332 8736 864 2593 0 9225 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 56312 KiB
Current children cumulated memory: 39296 KiB

[startup+0.305372 s]*
/proc/loadavg: 4.09 4.12 4.10 3/259 65664
/proc/meminfo: memFree=119117492/131249992 swapFree=33010160/33010684
[pid=65656] ppid=65653 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/65656/stat : 65656 (Hybrid-CASHWMax) S 65653 65656 64687 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 62387468 4427776 768 18446744073709551615 94472731435008 94472732329541 140723751401168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94472732568592 94472732616336 94472765284352 140723751405911 140723751406065 140723751406065 140723751411667 0
/proc/65656/statm: 1081 768 704 219 0 143 0
[pid=65659] ppid=65656 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65659/stat : 65659 (timeout) S 65656 65659 64687 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62387470 2723840 320 18446744073709551615 93896961064960 93896961081473 140722266373072 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93896961096240 93896961098328 93896991666176 140722266376598 140722266376738 140722266376738 140722266382311 0
/proc/65659/statm: 665 320 320 5 0 90 0
[pid=65660] ppid=65659 vsize=66040 memory=51712 CPUtime=0.27 cores=0,2
/proc/65660/stat : 65660 (CASHWMaxSAT-Dis) R 65659 65659 64687 0 -1 4194304 12147 0 0 0 26 1 0 0 20 0 1 0 62387471 67624960 12928 18446744073709551615 4198400 14817773 140730609421296 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 46800896 140730609428892 140730609429019 140730609429019 140730609434592 0
/proc/65660/statm: 16510 12928 864 2593 0 13403 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 73024 KiB
Current children cumulated memory: 56064 KiB

[startup+0.700178 s]
/proc/loadavg: 4.09 4.12 4.10 3/263 65681
/proc/meminfo: memFree=119103428/131249992 swapFree=33010160/33010684
[pid=65656] ppid=65653 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/65656/stat : 65656 (Hybrid-CASHWMax) S 65653 65656 64687 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 62387468 4427776 768 18446744073709551615 94472731435008 94472732329541 140723751401168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94472732568592 94472732616336 94472765284352 140723751405911 140723751406065 140723751406065 140723751411667 0
/proc/65656/statm: 1081 768 704 219 0 143 0
[pid=65659] ppid=65656 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65659/stat : 65659 (timeout) S 65656 65659 64687 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62387470 2723840 320 18446744073709551615 93896961064960 93896961081473 140722266373072 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93896961096240 93896961098328 93896991666176 140722266376598 140722266376738 140722266376738 140722266382311 0
/proc/65659/statm: 665 320 320 5 0 90 0
[pid=65660] ppid=65659 vsize=78208 memory=63532 CPUtime=0.66 cores=0,2
/proc/65660/stat : 65660 (CASHWMaxSAT-Dis) R 65659 65659 64687 0 -1 4194304 17364 0 0 0 63 3 0 0 20 0 1 0 62387471 80084992 15883 18446744073709551615 4198400 14817773 140730609421296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 46800896 140730609428892 140730609429019 140730609429019 140730609434592 0
/proc/65660/statm: 19552 15883 960 2593 0 16445 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 85192 KiB
Current children cumulated memory: 67884 KiB

[startup+1.50023 s]
/proc/loadavg: 4.09 4.12 4.10 4/265 65716
/proc/meminfo: memFree=119097104/131249992 swapFree=33010160/33010684
[pid=65656] ppid=65653 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/65656/stat : 65656 (Hybrid-CASHWMax) S 65653 65656 64687 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 62387468 4427776 768 18446744073709551615 94472731435008 94472732329541 140723751401168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94472732568592 94472732616336 94472765284352 140723751405911 140723751406065 140723751406065 140723751411667 0
/proc/65656/statm: 1081 768 704 219 0 143 0
[pid=65659] ppid=65656 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65659/stat : 65659 (timeout) S 65656 65659 64687 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62387470 2723840 320 18446744073709551615 93896961064960 93896961081473 140722266373072 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93896961096240 93896961098328 93896991666176 140722266376598 140722266376738 140722266376738 140722266382311 0
/proc/65659/statm: 665 320 320 5 0 90 0
[pid=65660] ppid=65659 vsize=84940 memory=70752 CPUtime=1.45 cores=0,2
/proc/65660/stat : 65660 (CASHWMaxSAT-Dis) R 65659 65659 64687 0 -1 4194304 20828 0 0 0 141 4 0 0 20 0 1 0 62387471 86978560 17688 18446744073709551615 4198400 14817773 140730609421296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 46800896 140730609428892 140730609429019 140730609429019 140730609434592 0
/proc/65660/statm: 21235 17688 992 2593 0 18128 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 91924 KiB
Current children cumulated memory: 75104 KiB

[startup+3.10583 s]
/proc/loadavg: 4.09 4.12 4.10 4/265 65744
/proc/meminfo: memFree=119059004/131249992 swapFree=33010160/33010684
[pid=65656] ppid=65653 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/65656/stat : 65656 (Hybrid-CASHWMax) S 65653 65656 64687 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 62387468 4427776 768 18446744073709551615 94472731435008 94472732329541 140723751401168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94472732568592 94472732616336 94472765284352 140723751405911 140723751406065 140723751406065 140723751411667 0
/proc/65656/statm: 1081 768 704 219 0 143 0
[pid=65659] ppid=65656 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65659/stat : 65659 (timeout) S 65656 65659 64687 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62387470 2723840 320 18446744073709551615 93896961064960 93896961081473 140722266373072 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93896961096240 93896961098328 93896991666176 140722266376598 140722266376738 140722266376738 140722266382311 0
/proc/65659/statm: 665 320 320 5 0 90 0
[pid=65660] ppid=65659 vsize=80812 memory=66204 CPUtime=3.05 cores=0,2
/proc/65660/stat : 65660 (CASHWMaxSAT-Dis) R 65659 65659 64687 0 -1 4194304 22670 0 0 0 300 5 0 0 20 0 1 0 62387471 82751488 16551 18446744073709551615 4198400 14817773 140730609421296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 46800896 140730609428892 140730609429019 140730609429019 140730609434592 0
/proc/65660/statm: 20203 16551 992 2593 0 17096 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 87796 KiB
Current children cumulated memory: 70556 KiB

[startup+4.59232 s]
# the end of solver process 65656 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=4.43241 s, system=0.089065 s

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

[startup+3.20026 s]
/proc/loadavg: 4.09 4.12 4.10 4/265 65744
/proc/meminfo: memFree=119059004/131249992 swapFree=33010160/33010684
[pid=65656] ppid=65653 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/65656/stat : 65656 (Hybrid-CASHWMax) S 65653 65656 64687 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 62387468 4427776 768 18446744073709551615 94472731435008 94472732329541 140723751401168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94472732568592 94472732616336 94472765284352 140723751405911 140723751406065 140723751406065 140723751411667 0
/proc/65656/statm: 1081 768 704 219 0 143 0
[pid=65659] ppid=65656 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65659/stat : 65659 (timeout) S 65656 65659 64687 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62387470 2723840 320 18446744073709551615 93896961064960 93896961081473 140722266373072 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93896961096240 93896961098328 93896991666176 140722266376598 140722266376738 140722266376738 140722266382311 0
/proc/65659/statm: 665 320 320 5 0 90 0
[pid=65660] ppid=65659 vsize=80780 memory=66184 CPUtime=3.14 cores=0,2
/proc/65660/stat : 65660 (CASHWMaxSAT-Dis) R 65659 65659 64687 0 -1 4194304 22970 0 0 0 309 5 0 0 20 0 1 0 62387471 82718720 16546 18446744073709551615 4198400 14817773 140730609421296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 46800896 140730609428892 140730609429019 140730609429019 140730609434592 0
/proc/65660/statm: 20195 16546 992 2593 0 17088 0
Current children cumulated CPU time: 3.14 s
Current children cumulated vsize: 87764 KiB
Current children cumulated memory: 70536 KiB

[startup+4.00021 s]*
/proc/loadavg: 4.09 4.12 4.10 5/271 65784
/proc/meminfo: memFree=119031556/131249992 swapFree=33010160/33010684
[pid=65656] ppid=65653 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/65656/stat : 65656 (Hybrid-CASHWMax) S 65653 65656 64687 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 62387468 4427776 768 18446744073709551615 94472731435008 94472732329541 140723751401168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94472732568592 94472732616336 94472765284352 140723751405911 140723751406065 140723751406065 140723751411667 0
/proc/65656/statm: 1081 768 704 219 0 143 0
[pid=65659] ppid=65656 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65659/stat : 65659 (timeout) S 65656 65659 64687 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62387470 2723840 320 18446744073709551615 93896961064960 93896961081473 140722266373072 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93896961096240 93896961098328 93896991666176 140722266376598 140722266376738 140722266376738 140722266382311 0
/proc/65659/statm: 665 320 320 5 0 90 0
[pid=65660] ppid=65659 vsize=82008 memory=66920 CPUtime=3.94 cores=0,2
/proc/65660/stat : 65660 (CASHWMaxSAT-Dis) R 65659 65659 64687 0 -1 4194304 24306 0 0 0 387 7 0 0 20 0 1 0 62387471 83976192 16730 18446744073709551615 4198400 14817773 140730609421296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 46800896 140730609428892 140730609429019 140730609429019 140730609434592 0
/proc/65660/statm: 20502 16730 992 2593 0 17395 0
Current children cumulated CPU time: 3.94 s
Current children cumulated vsize: 88992 KiB
Current children cumulated memory: 71272 KiB

[startup+4.40019 s]
/proc/loadavg: 4.09 4.12 4.10 5/271 65784
/proc/meminfo: memFree=119031556/131249992 swapFree=33010160/33010684
[pid=65656] ppid=65653 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/65656/stat : 65656 (Hybrid-CASHWMax) S 65653 65656 64687 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 62387468 4427776 768 18446744073709551615 94472731435008 94472732329541 140723751401168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94472732568592 94472732616336 94472765284352 140723751405911 140723751406065 140723751406065 140723751411667 0
/proc/65656/statm: 1081 768 704 219 0 143 0
[pid=65659] ppid=65656 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65659/stat : 65659 (timeout) S 65656 65659 64687 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62387470 2723840 320 18446744073709551615 93896961064960 93896961081473 140722266373072 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93896961096240 93896961098328 93896991666176 140722266376598 140722266376738 140722266376738 140722266382311 0
/proc/65659/statm: 665 320 320 5 0 90 0
[pid=65660] ppid=65659 vsize=81908 memory=66904 CPUtime=4.33 cores=0,2
/proc/65660/stat : 65660 (CASHWMaxSAT-Dis) R 65659 65659 64687 0 -1 4194304 24634 0 0 0 426 7 0 0 20 0 1 0 62387471 83873792 16726 18446744073709551615 4198400 14817773 140730609421296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 46800896 140730609428892 140730609429019 140730609429019 140730609434592 0
/proc/65660/statm: 20477 16726 992 2593 0 17370 0
Current children cumulated CPU time: 4.33 s
Current children cumulated vsize: 88892 KiB
Current children cumulated memory: 71256 KiB

[startup+4.50019 s]
/proc/loadavg: 4.09 4.12 4.10 5/271 65784
/proc/meminfo: memFree=119031556/131249992 swapFree=33010160/33010684
[pid=65656] ppid=65653 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/65656/stat : 65656 (Hybrid-CASHWMax) S 65653 65656 64687 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 62387468 4427776 768 18446744073709551615 94472731435008 94472732329541 140723751401168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94472732568592 94472732616336 94472765284352 140723751405911 140723751406065 140723751406065 140723751411667 0
/proc/65656/statm: 1081 768 704 219 0 143 0
[pid=65659] ppid=65656 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/65659/stat : 65659 (timeout) S 65656 65659 64687 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62387470 2723840 320 18446744073709551615 93896961064960 93896961081473 140722266373072 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93896961096240 93896961098328 93896991666176 140722266376598 140722266376738 140722266376738 140722266382311 0
/proc/65659/statm: 665 320 320 5 0 90 0
[pid=65660] ppid=65659 vsize=81908 memory=67032 CPUtime=4.43 cores=0,2
/proc/65660/stat : 65660 (CASHWMaxSAT-Dis) R 65659 65659 64687 0 -1 4194304 24686 0 0 0 436 7 0 0 20 0 1 0 62387471 83873792 16758 18446744073709551615 4198400 14817773 140730609421296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 46800896 140730609428892 140730609429019 140730609429019 140730609434592 0
/proc/65660/statm: 20477 16758 992 2593 0 17370 0
Current children cumulated CPU time: 4.43 s
Current children cumulated vsize: 88892 KiB
Current children cumulated memory: 71384 KiB

Child status: 0

Real time (s): 4.59235
CPU time (s): 4.52148
CPU user time (s): 4.43241
CPU system time (s): 0.089065
CPU usage (%): 98.4568
Max. virtual memory (cumulated for all children) (KiB): 92480
Max. memory (cumulated for all children) (KiB): 75376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.43241
system time used= 0.089065
maximum resident set size= 71024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25752
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 331
involuntary context switches= 11


# summary of solver processes directly reported to runsolver:
#   pid: 65656
#   total CPU time (s): 4.52148
#   total CPU user time (s): 4.43241
#   total CPU system time (s): 0.089065

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021883 second user time and 0.046261 second system time

The end