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...
4.66/4.78 c Converting 4752 PB-constraints to clauses...
5.17/5.29 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
439.74/440.90 c Out of memery in converting constraints: std::bad_alloc
439.74/440.90 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 (62182 MiB free)
memory of node 1: 64507 MiB (61716 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4511785-1751197445/watcher-4511785-1751197445 -o /tmp/evaluation-result-4511785-1751197445/solver-4511785-1751197445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751192387-26925 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4511785-1751197445.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28823, runsolver pid=28820
[startup+0.100064 s]*
/proc/loadavg: 4.06 4.08 4.09 5/264 28824
/proc/meminfo: memFree=126855276/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=41208 memory=24808 CPUtime=0.09 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 6008 0 0 0 9 0 0 0 20 0 1 0 35422172 42196992 6202 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 2 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 10302 6202 1120 3139 0 6590 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41208 KiB
Current children cumulated memory: 24808 KiB
[startup+0.205537 s]*
/proc/loadavg: 4.06 4.08 4.09 5/264 28824
/proc/meminfo: memFree=126836060/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=61164 memory=43848 CPUtime=0.19 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 10502 0 0 0 18 1 0 0 20 0 1 0 35422172 62631936 10962 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 2 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 15291 10962 1120 3139 0 11579 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61164 KiB
Current children cumulated memory: 43848 KiB
[startup+0.305533 s]*
/proc/loadavg: 4.06 4.08 4.09 5/264 28824
/proc/meminfo: memFree=126825224/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=71748 memory=55112 CPUtime=0.29 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 13333 0 0 0 27 2 0 0 20 0 1 0 35422172 73469952 13778 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 17937 13778 1120 3139 0 14225 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 71748 KiB
Current children cumulated memory: 55112 KiB
[startup+0.700169 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 28824
/proc/meminfo: memFree=126809600/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=172852 memory=144084 CPUtime=0.68 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 25887 0 0 0 63 5 0 0 20 0 1 0 35422172 177000448 36021 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 43213 36021 1120 3139 0 39501 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 172852 KiB
Current children cumulated memory: 144084 KiB
[startup+1.50017 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 28824
/proc/meminfo: memFree=126769532/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=329324 memory=301468 CPUtime=1.47 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 38673 0 0 0 137 10 0 0 20 0 1 0 35422172 337227776 75367 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 82331 75367 1120 3139 0 78619 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 329324 KiB
Current children cumulated memory: 301468 KiB
[startup+3.10544 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 28825
/proc/meminfo: memFree=126633236/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=441828 memory=397340 CPUtime=3.07 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 62646 0 0 0 292 15 0 0 20 0 1 0 35422172 452431872 99335 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 110457 99335 1120 3139 0 106745 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 441828 KiB
Current children cumulated memory: 397340 KiB
[startup+6.30017 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 28825
/proc/meminfo: memFree=125988864/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=1158768 memory=1091840 CPUtime=6.26 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 243668 0 0 0 575 51 0 0 20 0 1 0 35422172 1186578432 272960 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 289692 272960 2688 3139 0 285980 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1158768 KiB
Current children cumulated memory: 1091840 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 28825
/proc/meminfo: memFree=125611268/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=1721872 memory=1654860 CPUtime=12.64 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 285807 0 0 0 1197 67 0 0 20 0 1 0 35422172 1763196928 413715 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 430468 413715 2688 3139 0 426756 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1721872 KiB
Current children cumulated memory: 1654860 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 28825
/proc/meminfo: memFree=124782400/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=2711776 memory=2493204 CPUtime=25.4 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 368136 0 0 0 2445 95 0 0 20 0 1 0 35422172 2776858624 623301 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 677944 623301 2688 3139 0 674232 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2711776 KiB
Current children cumulated memory: 2493204 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.09 4.09 5/264 28825
/proc/meminfo: memFree=123702472/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=3771664 memory=3593180 CPUtime=50.94 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 459594 0 0 0 4960 134 0 0 20 0 1 0 35422172 3862183936 898295 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 942916 898295 2688 3139 0 939204 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3771664 KiB
Current children cumulated memory: 3593180 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 28828
/proc/meminfo: memFree=122126612/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=5430468 memory=5213780 CPUtime=102 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 573930 0 0 0 10006 194 0 0 20 0 1 0 35422172 5560799232 1303445 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 1357617 1303445 2688 3139 0 1353905 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 5430468 KiB
Current children cumulated memory: 5213780 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 28831
/proc/meminfo: memFree=121163076/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=6688016 memory=6171372 CPUtime=161.85 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 688493 0 0 0 15956 229 0 0 20 0 1 0 35422172 6848528384 1542843 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 1672004 1542843 2688 3139 0 1668292 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 6688016 KiB
Current children cumulated memory: 6171372 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/266 28833
/proc/meminfo: memFree=117851708/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=9682456 memory=9482724 CPUtime=221.7 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 761809 0 0 0 21866 304 0 0 20 0 1 0 35422172 9914834944 2370681 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 2420614 2370681 2688 3139 0 2416902 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 9682456 KiB
Current children cumulated memory: 9482724 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 28835
/proc/meminfo: memFree=118557416/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=9839724 memory=8782640 CPUtime=281.55 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 842329 0 0 0 27826 329 0 0 20 0 1 0 35422172 10075877376 2195660 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 2459931 2195660 2688 3139 0 2456219 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 9839724 KiB
Current children cumulated memory: 8782640 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 28837
/proc/meminfo: memFree=117964932/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=10121908 memory=9372216 CPUtime=341.4 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 915209 0 0 0 33787 353 0 0 20 0 1 0 35422172 10364833792 2343054 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 2530477 2343054 2688 3139 0 2526765 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 10121908 KiB
Current children cumulated memory: 9372216 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/265 28840
/proc/meminfo: memFree=117532140/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=10346604 memory=9830072 CPUtime=401.24 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 967842 0 0 0 39753 371 0 0 20 0 1 0 35422172 10594922496 2457518 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 2586651 2457518 2688 3139 0 2582939 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 10346604 KiB
Current children cumulated memory: 9830072 KiB
[startup+441.041 s]
# the end of solver process 28823 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=436.036 s, system=3.85639 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 28840
/proc/meminfo: memFree=117532172/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=10347132 memory=9830584 CPUtime=408.52 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 968195 0 0 0 40481 371 0 0 20 0 1 0 35422172 10595463168 2457646 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 2586783 2457646 2688 3139 0 2583071 0
Current children cumulated CPU time: 408.52 s
Current children cumulated vsize: 10347132 KiB
Current children cumulated memory: 9830584 KiB
[startup+422.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 28841
/proc/meminfo: memFree=117521152/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=10347940 memory=9831352 CPUtime=421.28 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 968447 0 0 0 41757 371 0 0 20 0 1 0 35422172 10596290560 2457838 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 2586985 2457838 2688 3139 0 2583273 0
Current children cumulated CPU time: 421.28 s
Current children cumulated vsize: 10347940 KiB
Current children cumulated memory: 9831352 KiB
[startup+428.8 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 28841
/proc/meminfo: memFree=117545176/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=10348336 memory=9831864 CPUtime=427.67 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 969018 0 0 0 42396 371 0 0 20 0 1 0 35422172 10596696064 2457966 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 2587084 2457966 2688 3139 0 2583372 0
Current children cumulated CPU time: 427.67 s
Current children cumulated vsize: 10348336 KiB
Current children cumulated memory: 9831864 KiB
[startup+435.2 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 28842
/proc/meminfo: memFree=117536640/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=10349140 memory=9832632 CPUtime=434.05 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 969730 0 0 0 43034 371 0 0 20 0 1 0 35422172 10597519360 2458158 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 2587285 2458158 2688 3139 0 2583573 0
Current children cumulated CPU time: 434.05 s
Current children cumulated vsize: 10349140 KiB
Current children cumulated memory: 9832632 KiB
[startup+438.4 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 28842
/proc/meminfo: memFree=117536648/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=10349824 memory=9833272 CPUtime=437.24 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 970144 0 0 0 43353 371 0 0 20 0 1 0 35422172 10598219776 2458318 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 2587456 2458318 2688 3139 0 2583744 0
Current children cumulated CPU time: 437.24 s
Current children cumulated vsize: 10349824 KiB
Current children cumulated memory: 9833272 KiB
[startup+440 s]*
/proc/loadavg: 4.12 4.09 4.09 5/265 28842
/proc/meminfo: memFree=117536672/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=10350104 memory=9833528 CPUtime=438.84 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 970297 0 0 0 43513 371 0 0 20 0 1 0 35422172 10598506496 2458382 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 2587526 2458382 2688 3139 0 2583814 0
Current children cumulated CPU time: 438.84 s
Current children cumulated vsize: 10350104 KiB
Current children cumulated memory: 9833528 KiB
[startup+440.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 28842
/proc/meminfo: memFree=117536672/131249996 swapFree=33010684/33010684
[pid=28823] ppid=28820 vsize=10350516 memory=9833912 CPUtime=439.64 cores=0,2
/proc/28823/stat : 28823 (uwrmaxsat-scip) R 28820 28823 26915 0 -1 4194304 970398 0 0 0 43593 371 0 0 20 0 1 0 35422172 10598928384 2458478 18446744073709551615 4198400 17051741 140736524154208 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 48390144 140736524159290 140736524159460 140736524159460 140736524165062 0
/proc/28823/statm: 2587629 2458478 2688 3139 0 2583917 0
Current children cumulated CPU time: 439.64 s
Current children cumulated vsize: 10350516 KiB
Current children cumulated memory: 9833912 KiB
[startup+441 s]*
/proc/loadavg: 4.12 4.09 4.09 5/265 28842
/proc/meminfo: memFree=120660308/131249996 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): 441.041
CPU time (s): 439.892
CPU user time (s): 436.036
CPU system time (s): 3.85639
CPU usage (%): 99.7394
Max. virtual memory (cumulated for all children) (KiB): 10350516
Max. memory (cumulated for all children) (KiB): 9833912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 436.036
system time used= 3.85639
maximum resident set size= 9834040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 970434
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= 601
# summary of solver processes directly reported to runsolver:
# pid: 28823
# total CPU time (s): 439.892
# total CPU user time (s): 436.036
# total CPU system time (s): 3.85639
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.795045 second user time and 1.97145 second system time
The end
Begin job on nodeC021 at 2025-06-29 13:44:05
IDJOB=4511785
IDBENCH=160483
IDSOLVER=3373
FILE ID=nodeC021/4511785-1751197445
RUNJOBID= nodeC021-1751192387-26925
SLURM_JOB_ID= 9587584
Free space on /tmp= 432992 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm75p-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-4511785-1751197445/watcher-4511785-1751197445 -o /tmp/evaluation-result-4511785-1751197445/solver-4511785-1751197445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751192387-26925 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4511785-1751197445.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= eb6e6db1d5217c0fcba95884ddbb513a
RANDOM SEED=1249080273
nodeC021 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.764
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.56
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.774
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.56
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 : 3599.434
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.56
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 : 3659.588
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.56
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.779
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.56
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 : 3599.766
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.56
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 : 3598.874
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.56
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 : 3602.196
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126872416 kB
MemAvailable: 126920756 kB
Buffers: 3280 kB
Cached: 857072 kB
SwapCached: 0 kB
Active: 2751820 kB
Inactive: 599716 kB
Active(anon): 2509244 kB
Inactive(anon): 0 kB
Active(file): 242576 kB
Inactive(file): 599716 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 41404 kB
Writeback: 4 kB
AnonPages: 2494228 kB
Mapped: 142536 kB
Shmem: 18060 kB
KReclaimable: 90176 kB
Slab: 176332 kB
SReclaimable: 90176 kB
SUnreclaim: 86156 kB
KernelStack: 4256 kB
PageTables: 7852 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2863780 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1523712 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432972 MiB
End job on nodeC021 at 2025-06-29 13:51:26