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...
5.27/5.32 c Converting 5258 PB-constraints to clauses...
5.77/5.86 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
388.79/389.84 c Out of memery in converting constraints: std::bad_alloc
388.79/389.84 s UNKNOWN
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: 63665 MiB (62456 MiB free)
memory of node 1: 64507 MiB (63080 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4511893-1751198039/watcher-4511893-1751198039 -o /tmp/evaluation-result-4511893-1751198039/solver-4511893-1751198039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751194426-25878 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4511893-1751198039.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
Starting watchdog thread
solver pid=26830, runsolver pid=26827
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.07 4.10 4.09 5/263 26831
/proc/meminfo: memFree=128519576/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=42224 memory=25876 CPUtime=0.1 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 6251 0 0 0 9 1 0 0 20 0 1 0 35484197 43237376 6469 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 10556 6469 1120 3139 0 6844 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42224 KiB
Current children cumulated memory: 25876 KiB
[startup+0.205522 s]*
/proc/loadavg: 4.07 4.10 4.09 5/263 26831
/proc/meminfo: memFree=128497400/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=62256 memory=44360 CPUtime=0.2 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 10624 0 0 0 18 2 0 0 20 0 1 0 35484197 63750144 11090 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 15564 11090 1120 3139 0 11852 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62256 KiB
Current children cumulated memory: 44360 KiB
[startup+0.305456 s]*
/proc/loadavg: 4.07 4.10 4.09 5/263 26831
/proc/meminfo: memFree=128473460/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=73032 memory=53320 CPUtime=0.3 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 12870 0 0 0 28 2 0 0 20 0 1 0 35484197 74784768 13330 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 18258 13330 1120 3139 0 14546 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 73032 KiB
Current children cumulated memory: 53320 KiB
[startup+0.700151 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 26831
/proc/meminfo: memFree=128392304/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=173064 memory=141004 CPUtime=0.69 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 24581 0 0 0 64 5 0 0 20 0 1 0 35484197 177217536 35251 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 43266 35251 1120 3139 0 39554 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 173064 KiB
Current children cumulated memory: 141004 KiB
[startup+1.50015 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 26831
/proc/meminfo: memFree=128214156/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=329312 memory=293108 CPUtime=1.48 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 40138 0 0 0 138 10 0 0 20 0 1 0 35484197 337215488 73277 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 82328 73277 1120 3139 0 78616 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 329312 KiB
Current children cumulated memory: 293108 KiB
[startup+3.1053 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 26831
/proc/meminfo: memFree=127874984/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=442032 memory=399732 CPUtime=3.09 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 66826 0 0 0 293 16 0 0 20 0 1 0 35484197 452640768 99933 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 110508 99933 1120 3139 0 106796 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 442032 KiB
Current children cumulated memory: 399732 KiB
[startup+6.30015 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 26831
/proc/meminfo: memFree=127208932/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=1049448 memory=974176 CPUtime=6.27 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 224999 0 0 0 577 50 0 0 20 0 1 0 35484197 1074634752 243544 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 262362 243544 2688 3139 0 258650 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1049448 KiB
Current children cumulated memory: 974176 KiB
[startup+12.7002 s]
/proc/loadavg: 4.22 4.13 4.10 5/263 26831
/proc/meminfo: memFree=125193940/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=1781556 memory=1654524 CPUtime=12.66 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 303652 0 0 0 1192 74 0 0 20 0 1 0 35484197 1824313344 413631 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 445389 413631 2688 3139 0 441677 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1781556 KiB
Current children cumulated memory: 1654524 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.12 4.10 5/263 26831
/proc/meminfo: memFree=123524656/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=2812208 memory=2559860 CPUtime=25.42 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 396021 0 0 0 2433 109 0 0 20 0 1 0 35484197 2879700992 639965 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 703052 639965 2688 3139 0 699340 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2812208 KiB
Current children cumulated memory: 2559860 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 26831
/proc/meminfo: memFree=121154892/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=3904284 memory=3712416 CPUtime=50.96 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 497085 0 0 0 4943 153 0 0 20 0 1 0 35484197 3997986816 928104 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 976071 928104 2688 3139 0 972359 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 3904284 KiB
Current children cumulated memory: 3712416 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/263 26835
/proc/meminfo: memFree=117799564/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=5597400 memory=5377292 CPUtime=102.03 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 619741 0 0 0 9988 215 0 0 20 0 1 0 35484197 5731737600 1344323 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 1399350 1344323 2688 3139 0 1395638 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 5597400 KiB
Current children cumulated memory: 5377292 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 26837
/proc/meminfo: memFree=115860500/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=6880856 memory=6368160 CPUtime=161.88 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 740915 0 0 0 15934 254 0 0 20 0 1 0 35484197 7045996544 1592040 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 1720214 1592040 2688 3139 0 1716502 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 6880856 KiB
Current children cumulated memory: 6368160 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/263 26839
/proc/meminfo: memFree=111962252/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=8522344 memory=8308072 CPUtime=221.72 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 814064 0 0 0 21841 331 0 0 20 0 1 0 35484197 8726880256 2077018 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 2130586 2077018 2688 3139 0 2126874 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 8522344 KiB
Current children cumulated memory: 8308072 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 26842
/proc/meminfo: memFree=110552924/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=10064480 memory=9014108 CPUtime=281.56 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 903662 0 0 0 27798 358 0 0 20 0 1 0 35484197 10306027520 2253527 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 2516120 2253527 2688 3139 0 2512408 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 10064480 KiB
Current children cumulated memory: 9014108 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 26844
/proc/meminfo: memFree=109313220/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=10368644 memory=9638804 CPUtime=341.41 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 982028 0 0 0 33755 386 0 0 20 0 1 0 35484197 10617491456 2409701 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 2592161 2409701 2688 3139 0 2588449 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 10368644 KiB
Current children cumulated memory: 9638804 KiB
[startup+389.994 s]
# the end of solver process 26830 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=384.785 s, system=4.20363 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 26844
/proc/meminfo: memFree=108996036/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=10451012 memory=9798300 CPUtime=357.47 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 1000244 0 0 0 35354 393 0 0 20 0 1 0 35484197 10701836288 2449575 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 2612753 2449575 2688 3139 0 2609041 0
Current children cumulated CPU time: 357.47 s
Current children cumulated vsize: 10451012 KiB
Current children cumulated memory: 9798300 KiB
[startup+371.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 26846
/proc/meminfo: memFree=108747420/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=10510680 memory=9921608 CPUtime=370.24 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 1015259 0 0 0 36625 399 0 0 20 0 1 0 35484197 10762936320 2480402 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 2627670 2480402 2688 3139 0 2623958 0
Current children cumulated CPU time: 370.24 s
Current children cumulated vsize: 10510680 KiB
Current children cumulated memory: 9921608 KiB
[startup+377.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 26846
/proc/meminfo: memFree=108637652/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=10542272 memory=9978140 CPUtime=376.61 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 1020310 0 0 0 37260 401 0 0 20 0 1 0 35484197 10795286528 2494535 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 2635568 2494535 2688 3139 0 2631856 0
Current children cumulated CPU time: 376.61 s
Current children cumulated vsize: 10542272 KiB
Current children cumulated memory: 9978140 KiB
[startup+384 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 26846
/proc/meminfo: memFree=108515676/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=10569552 memory=10034128 CPUtime=383 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 1027647 0 0 0 37896 404 0 0 20 0 1 0 35484197 10823221248 2508532 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 2642388 2508532 2688 3139 0 2638676 0
Current children cumulated CPU time: 383 s
Current children cumulated vsize: 10569552 KiB
Current children cumulated memory: 10034128 KiB
[startup+387.2 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 26846
/proc/meminfo: memFree=108471004/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=10579040 memory=10051920 CPUtime=386.19 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 1030288 0 0 0 38214 405 0 0 20 0 1 0 35484197 10832936960 2512980 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 2644760 2512980 2720 3139 0 2641048 0
Current children cumulated CPU time: 386.19 s
Current children cumulated vsize: 10579040 KiB
Current children cumulated memory: 10051920 KiB
[startup+388.8 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 26846
/proc/meminfo: memFree=108466908/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=10579580 memory=10052304 CPUtime=387.79 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 1030524 0 0 0 38374 405 0 0 20 0 1 0 35484197 10833489920 2513076 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 2644895 2513076 2720 3139 0 2641183 0
Current children cumulated CPU time: 387.79 s
Current children cumulated vsize: 10579580 KiB
Current children cumulated memory: 10052304 KiB
[startup+389.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 26846
/proc/meminfo: memFree=108462812/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=10579988 memory=10052816 CPUtime=388.59 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 1030640 0 0 0 38454 405 0 0 20 0 1 0 35484197 10833907712 2513204 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 2644997 2513204 2720 3139 0 2641285 0
Current children cumulated CPU time: 388.59 s
Current children cumulated vsize: 10579988 KiB
Current children cumulated memory: 10052816 KiB
[startup+389.8 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 26846
/proc/meminfo: memFree=108462812/131250000 swapFree=33010684/33010684
[pid=26830] ppid=26827 vsize=10579988 memory=10052816 CPUtime=388.79 cores=4,6
/proc/26830/stat : 26830 (uwrmaxsat-scip) R 26827 26830 25867 0 -1 4194304 1030640 0 0 0 38474 405 0 0 20 0 1 0 35484197 10833907712 2513204 18446744073709551615 4198400 17051741 140724580116608 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 30937088 140724580120890 140724580121060 140724580121060 140724580126662 0
/proc/26830/statm: 2644997 2513204 2720 3139 0 2641285 0
Current children cumulated CPU time: 388.79 s
Current children cumulated vsize: 10579988 KiB
Current children cumulated memory: 10052816 KiB
[startup+389.9 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 26846
/proc/meminfo: memFree=110158932/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 389.994
CPU time (s): 388.989
CPU user time (s): 384.785
CPU system time (s): 4.20363
CPU usage (%): 99.7423
Max. virtual memory (cumulated for all children) (KiB): 10579988
Max. memory (cumulated for all children) (KiB): 10052816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 384.785
system time used= 4.20363
maximum resident set size= 10052944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1030791
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= 580
# summary of solver processes directly reported to runsolver:
# pid: 26830
# total CPU time (s): 388.989
# total CPU user time (s): 384.785
# total CPU system time (s): 4.20363
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.729268 second user time and 1.67279 second system time
The end
Begin job on nodeC013 at 2025-06-29 13:53:59
IDJOB=4511893
IDBENCH=160486
IDSOLVER=3373
FILE ID=nodeC013/4511893-1751198039
RUNJOBID= nodeC013-1751194426-25878
SLURM_JOB_ID= 9587597
Free space on /tmp= 432952 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm85p-dec.opb.negationfix.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-4511893-1751198039/watcher-4511893-1751198039 -o /tmp/evaluation-result-4511893-1751198039/solver-4511893-1751198039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751194426-25878 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4511893-1751198039.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b7a2e8144dd82d545640c8e4101e7ef6
RANDOM SEED=1706318914
nodeC013 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 : 0xb00002a
cpu MHz : 3599.861
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
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 : 0xb00002a
cpu MHz : 3599.856
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
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 : 0xb00002a
cpu MHz : 3602.684
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
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 : 0xb00002a
cpu MHz : 3658.203
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
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 : 0xb00002a
cpu MHz : 3599.832
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
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 : 0xb00002a
cpu MHz : 3600.016
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
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 : 0xb00002a
cpu MHz : 3601.004
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
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 : 0xb00002a
cpu MHz : 3600.353
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128562104 kB
MemAvailable: 128518144 kB
Buffers: 3280 kB
Cached: 759736 kB
SwapCached: 0 kB
Active: 1510756 kB
Inactive: 550900 kB
Active(anon): 1311936 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 550900 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 92412 kB
Writeback: 0 kB
AnonPages: 1301772 kB
Mapped: 129624 kB
Shmem: 13284 kB
KReclaimable: 90716 kB
Slab: 176708 kB
SReclaimable: 90716 kB
SUnreclaim: 85992 kB
KernelStack: 4256 kB
PageTables: 5480 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1649104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1155072 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432936 MiB
End job on nodeC013 at 2025-06-29 14:00:30