0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00 c Setting memory limit to 31000MB.
0.00/0.00 c Parsing PB file...
0.00/0.06 c Converting 3399 PB-constraints to clauses...
0.00/0.06 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.09/0.17 c ============================[ Encoding Statistics ]============================
0.09/0.17 c | Number of variables: 3751 |
0.09/0.17 c | Number of clauses: 12023 |
0.09/0.17 c ===============================================================================
300.23/301.17 c Starting SCIP solver (with time-limit: 900s) ...
300.32/301.27 c SCIP result: UNSATISFIABLE
300.32/301.27 c _______________________________________________________________________________
300.32/301.27 c
300.32/301.27 c SCIP: SCIP Status : problem is solved [infeasible]
300.32/301.27 c SCIP: Original Problem :
300.32/301.27 c SCIP: Problem name : instance-4541582-1753209881.opb
300.32/301.27 c SCIP: Variables : 2231 (2231 binary, 0 integer, 0 implicit integer, 0 continuous)
300.32/301.27 c SCIP: Constraints : 6318 initial, 6318 maximal
300.32/301.27 c SCIP: Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
300.32/301.27 c SCIP: Total Time : 0.11
300.32/301.27 c SCIP: solving : 0.11
300.32/301.27 c SCIP: presolving : 0.10 (included in solving)
300.32/301.27 c SCIP: reading : 0.00
300.32/301.27 c SCIP: copying : 0.00 (0 times copied the problem)
300.32/301.27 c =======================[ UWrMaxSat resources usage ]===========================
300.32/301.27 c Memory used : 85.00 MB
300.32/301.27 c CPU time : 300.312 s
300.32/301.27 c Constr Enc: Srt/BDD/Add: 1280 0 0
300.32/301.27 c _______________________________________________________________________________
300.32/301.27 s UNSATISFIABLE
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 (46256 MiB free)
memory of node 1: 64507 MiB (50962 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541582-1753209881/watcher-4541582-1753209881 -o /tmp/evaluation-result-4541582-1753209881/solver-4541582-1753209881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753209881-182341 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4541582-1753209881.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=182391, runsolver pid=182382
[startup+0.10007 s]*
/proc/loadavg: 1.98 3.58 4.00 6/251 182400
/proc/meminfo: memFree=99529200/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=33452 memory=23808 CPUtime=0.09 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 3558 0 0 0 8 1 0 0 20 0 1 0 236667859 34254848 5952 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 8363 5952 2688 3139 0 4651 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33452 KiB
Current children cumulated memory: 23808 KiB
[startup+0.212627 s]*
/proc/loadavg: 1.98 3.58 4.00 6/251 182400
/proc/meminfo: memFree=99518364/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=35600 memory=25872 CPUtime=0.2 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 4214 0 0 0 19 1 0 0 20 0 1 0 236667859 36454400 6468 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 8900 6468 2688 3139 0 5188 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35600 KiB
Current children cumulated memory: 25872 KiB
[startup+0.312548 s]*
/proc/loadavg: 1.98 3.58 4.00 6/251 182400
/proc/meminfo: memFree=99511472/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=36096 memory=26384 CPUtime=0.3 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 4353 0 0 0 29 1 0 0 20 0 1 0 236667859 36962304 6596 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 9024 6596 2688 3139 0 5312 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36096 KiB
Current children cumulated memory: 26384 KiB
[startup+0.70026 s]
/proc/loadavg: 1.98 3.58 4.00 6/251 182400
/proc/meminfo: memFree=99508448/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=35924 memory=26356 CPUtime=0.67 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 4831 0 0 0 66 1 0 0 20 0 1 0 236667859 36786176 6589 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 8981 6589 2688 3139 0 5269 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 35924 KiB
Current children cumulated memory: 26356 KiB
[startup+1.50029 s]
/proc/loadavg: 1.98 3.58 4.00 6/251 182400
/proc/meminfo: memFree=99491816/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=37904 memory=28020 CPUtime=1.47 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 5269 0 0 0 146 1 0 0 20 0 1 0 236667859 38813696 7005 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 9476 7005 2688 3139 0 5764 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 37904 KiB
Current children cumulated memory: 28020 KiB
[startup+3.11279 s]
/proc/loadavg: 1.98 3.58 4.00 6/251 182400
/proc/meminfo: memFree=99467588/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=37432 memory=27660 CPUtime=3.08 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 6222 0 0 0 307 1 0 0 20 0 1 0 236667859 38330368 6915 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 9358 6915 2688 3139 0 5646 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 37432 KiB
Current children cumulated memory: 27660 KiB
[startup+6.30025 s]
/proc/loadavg: 2.14 3.58 4.00 6/251 182400
/proc/meminfo: memFree=99465672/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=38472 memory=28704 CPUtime=6.26 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 7938 0 0 0 624 2 0 0 20 0 1 0 236667859 39395328 7176 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 9618 7176 2688 3139 0 5906 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 38472 KiB
Current children cumulated memory: 28704 KiB
[startup+12.7003 s]
/proc/loadavg: 2.37 3.61 4.00 6/251 182400
/proc/meminfo: memFree=99448572/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=43952 memory=34144 CPUtime=12.65 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 11159 0 0 0 1262 3 0 0 20 0 1 0 236667859 45006848 8536 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 10988 8536 2688 3139 0 7276 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 43952 KiB
Current children cumulated memory: 34144 KiB
[startup+25.5003 s]
/proc/loadavg: 2.73 3.63 4.00 6/251 182401
/proc/meminfo: memFree=99450032/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=47508 memory=37744 CPUtime=25.41 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 13415 0 0 0 2538 3 0 0 20 0 1 0 236667859 48648192 9436 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 11877 9436 2688 3139 0 8165 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 47508 KiB
Current children cumulated memory: 37744 KiB
[startup+51.1122 s]
/proc/loadavg: 3.25 3.68 4.01 6/252 182402
/proc/meminfo: memFree=99423852/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=59692 memory=49920 CPUtime=50.94 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 18393 0 0 0 5090 4 0 0 20 0 1 0 236667859 61124608 12480 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 14923 12480 2688 3139 0 11211 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 59692 KiB
Current children cumulated memory: 49920 KiB
[startup+102.3 s]
/proc/loadavg: 3.72 3.74 4.01 6/252 182404
/proc/meminfo: memFree=99391272/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=55900 memory=46208 CPUtime=101.97 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 19773 0 0 0 10193 4 0 0 20 0 1 0 236667859 57241600 11552 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 13975 11552 2688 3139 0 10263 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 55900 KiB
Current children cumulated memory: 46208 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 3.82 4.01 6/252 182406
/proc/meminfo: memFree=99351624/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=64940 memory=54356 CPUtime=161.8 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 24015 0 0 0 16175 5 0 0 20 0 1 0 236667859 66498560 13589 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 16235 13589 2688 3139 0 12523 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 64940 KiB
Current children cumulated memory: 54356 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.87 4.01 6/252 182408
/proc/meminfo: memFree=99340436/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=77000 memory=67328 CPUtime=221.64 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 29053 0 0 0 22157 7 0 0 20 0 1 0 236667859 78848000 16832 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 19250 16832 2688 3139 0 15538 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 77000 KiB
Current children cumulated memory: 67328 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.91 4.01 6/251 182410
/proc/meminfo: memFree=99311280/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=75948 memory=66304 CPUtime=281.47 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 34249 0 0 0 28138 9 0 0 20 0 1 0 236667859 77770752 16576 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 18987 16576 2688 3139 0 15275 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 75948 KiB
Current children cumulated memory: 66304 KiB
[startup+301.28 s]
# the end of solver process 182391 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=300.313 s, system=0.093673 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+294.4 s]
/proc/loadavg: 4.08 3.92 4.01 6/251 182410
/proc/meminfo: memFree=99307224/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=75948 memory=66304 CPUtime=293.54 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 34249 0 0 0 29345 9 0 0 20 0 1 0 236667859 77770752 16576 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 18987 16576 2688 3139 0 15275 0
Current children cumulated CPU time: 293.54 s
Current children cumulated vsize: 75948 KiB
Current children cumulated memory: 66304 KiB
[startup+297.6 s]
/proc/loadavg: 4.07 3.92 4.01 6/251 182410
/proc/meminfo: memFree=99301616/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=75948 memory=66304 CPUtime=296.73 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 34249 0 0 0 29664 9 0 0 20 0 1 0 236667859 77770752 16576 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 18987 16576 2688 3139 0 15275 0
Current children cumulated CPU time: 296.73 s
Current children cumulated vsize: 75948 KiB
Current children cumulated memory: 66304 KiB
[startup+299.2 s]
/proc/loadavg: 4.07 3.92 4.01 6/251 182410
/proc/meminfo: memFree=99301616/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=75948 memory=66304 CPUtime=298.33 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 34249 0 0 0 29824 9 0 0 20 0 1 0 236667859 77770752 16576 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 18987 16576 2688 3139 0 15275 0
Current children cumulated CPU time: 298.33 s
Current children cumulated vsize: 75948 KiB
Current children cumulated memory: 66304 KiB
[startup+300 s]*
/proc/loadavg: 4.06 3.92 4.01 6/251 182411
/proc/meminfo: memFree=99301868/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=75948 memory=66304 CPUtime=299.13 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 34249 0 0 0 29904 9 0 0 20 0 1 0 236667859 77770752 16576 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 18987 16576 2688 3139 0 15275 0
Current children cumulated CPU time: 299.13 s
Current children cumulated vsize: 75948 KiB
Current children cumulated memory: 66304 KiB
[startup+300.8 s]
/proc/loadavg: 4.06 3.92 4.01 6/251 182411
/proc/meminfo: memFree=99301868/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=75948 memory=66304 CPUtime=299.92 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 34249 0 0 0 29983 9 0 0 20 0 1 0 236667859 77770752 16576 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 18987 16576 2688 3139 0 15275 0
Current children cumulated CPU time: 299.92 s
Current children cumulated vsize: 75948 KiB
Current children cumulated memory: 66304 KiB
[startup+301.2 s]
/proc/loadavg: 4.06 3.92 4.01 6/251 182411
/proc/meminfo: memFree=99301868/131382116 swapFree=33010684/33010684
[pid=182391] ppid=182382 vsize=75948 memory=67840 CPUtime=300.32 cores=4,6
/proc/182391/stat : 182391 (uwrmaxsat-scip) R 182382 182391 182330 0 -1 4194304 34277 0 0 0 30023 9 0 0 20 0 1 0 236667859 77770752 16960 18446744073709551615 4198400 17051741 140724952652720 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 32485376 140724952656184 140724952656354 140724952656354 140724952661958 0
/proc/182391/statm: 18987 16960 3072 3139 0 15275 0
Current children cumulated CPU time: 300.32 s
Current children cumulated vsize: 75948 KiB
Current children cumulated memory: 67840 KiB
Child status: 20
Real time (s): 301.28
CPU time (s): 300.406
CPU user time (s): 300.313
CPU system time (s): 0.093673
CPU usage (%): 99.71
Max. virtual memory (cumulated for all children) (KiB): 77564
Max. memory (cumulated for all children) (KiB): 67840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 300.313
system time used= 0.093673
maximum resident set size= 77796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34278
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= 12
involuntary context switches= 214
# summary of solver processes directly reported to runsolver:
# pid: 182391
# total CPU time (s): 300.406
# total CPU user time (s): 300.313
# total CPU system time (s): 0.093673
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48388 second user time and 2.72267 second system time
The end
Begin job on nodeC011 at 2025-07-22 20:44:41
IDJOB=4541582
IDBENCH=163188
IDSOLVER=3373
FILE ID=nodeC011/4541582-1753209881
RUNJOBID= nodeC011-1753209881-182341
SLURM_JOB_ID= 9687771
Free space on /tmp= 432812 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/inequalities/OPB/ineq6/normalized-20array_ineq6.opb
COMMAND LINE= HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4541582-1753209881/watcher-4541582-1753209881 -o /tmp/evaluation-result-4541582-1753209881/solver-4541582-1753209881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753209881-182341 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4541582-1753209881.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3fc1fa6fafd20a9b1fe100c4dc12e1ea
RANDOM SEED=942850719
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.293
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.445
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.851
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.290
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.294
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.295
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 99544764 kB
MemAvailable: 129865916 kB
Buffers: 3276 kB
Cached: 31091120 kB
SwapCached: 0 kB
Active: 587796 kB
Inactive: 30575444 kB
Active(anon): 92920 kB
Inactive(anon): 2076 kB
Active(file): 494876 kB
Inactive(file): 30573368 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 66416 kB
Writeback: 4 kB
AnonPages: 72028 kB
Mapped: 108472 kB
Shmem: 26152 kB
KReclaimable: 184688 kB
Slab: 278140 kB
SReclaimable: 184688 kB
SUnreclaim: 93452 kB
KernelStack: 3748 kB
PageTables: 2812 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 343648 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432748 MiB
End job on nodeC011 at 2025-07-22 20:49:43