0.00/0.01 c solving HOME/instance-4528620-1752247697.opb (Picat 3.9b11, 7/10/2025)
115.56/115.91 o 12
138.61/139.05 s OPTIMUM FOUND
138.61/139.05 v ~x190 ~x253 ~x16 ~x329 ~x110 x187 ~x67 ~x204 ~x17 ~x267
138.61/139.05 v x201 ~x124 ~x68 ~x218 ~x281 ~x18 x215 ~x138 ~x69 ~x232
138.61/139.05 v ~x295 ~x19 ~x152 x229 x70 ~x246 ~x114 ~x20 ~x166 x243
138.61/139.05 v ~x71 ~x260 ~x128 ~x21 ~x180 x257 ~x72 ~x274 ~x142 ~x22
138.61/139.05 v ~x194 x271 ~x73 ~x288 ~x156 ~x23 ~x208 x285 ~x74 ~x107
138.61/139.05 v ~x170 ~x24 ~x222 ~x299 ~x75 ~x121 ~x184 x25 ~x236 ~x118
138.61/139.05 v x76 ~x135 ~x198 ~x26 ~x250 ~x132 ~x77 ~x149 ~x212 ~x27
138.61/139.05 v ~x264 ~x146 ~x78 ~x163 ~x226 ~x28 ~x278 ~x160 ~x79 ~x177
138.61/139.05 v ~x240 ~x29 ~x292 ~x174 ~x80 ~x191 ~x254 ~x30 ~x111 ~x188
138.61/139.05 v x81 ~x205 ~x268 ~x31 ~x125 ~x202 ~x82 ~x219 ~x282 ~x32
138.61/139.05 v ~x139 ~x216 ~x83 ~x233 ~x296 ~x33 ~x153 ~x230 ~x84 ~x247
138.61/139.05 v ~x34 ~x167 ~x244 x85 ~x261 ~x35 ~x181 ~x258 ~x86 ~x115
138.61/139.05 v ~x275 x36 ~x195 ~x272 ~x87 ~x129 ~x289 ~x37 ~x209 ~x286
138.61/139.05 v x88 ~x143 ~x38 ~x223 ~x300 ~x89 ~x157 ~x108 ~x39 ~x237
138.61/139.05 v ~x119 x90 ~x171 ~x122 ~x40 ~x251 ~x133 x91 ~x185 ~x136
138.61/139.05 v ~x41 ~x265 ~x147 ~x302 ~x199 ~x150 ~x42 ~x279 ~x161 x303
138.61/139.05 v ~x213 ~x43 ~x164 ~x175 ~x293 ~x304 ~x227 ~x44 ~x178 ~x189
138.61/139.05 v ~x112 x305 ~x241 ~x192 ~x45 ~x126 ~x203 ~x306 ~x255 x92
138.61/139.05 v ~x206 x46 ~x140 ~x217 x307 ~x269 x93 ~x220 ~x47 ~x154
138.61/139.05 v ~x231 ~x308 ~x283 x94 ~x234 ~x48 ~x168 ~x245 x309 ~x297
138.61/139.05 v x95 ~x248 ~x49 ~x182 ~x259 ~x310 ~x116 x96 ~x262 ~x196
138.61/139.05 v ~x273 x311 ~x130 x97 ~x276 ~x210 ~x287 ~x312 ~x144 ~x50
138.61/139.05 v x98 ~x290 ~x224 x301 x313 ~x158 ~x51 x99 ~x109 ~x238
138.61/139.05 v ~x1 ~x314 ~x172 ~x52 x100 ~x123 ~x252 ~x2 x315 ~x186
138.61/139.05 v ~x53 x101 ~x137 ~x266 ~x3 ~x316 ~x200 ~x54 x102 ~x151
138.61/139.05 v ~x280 ~x4 x317 ~x214 x55 ~x103 ~x165 ~x294 ~x5 ~x318
138.61/139.05 v ~x228 ~x56 x104 ~x179 ~x113 ~x6 x319 ~x242 ~x57 ~x105
138.61/139.05 v ~x193 ~x127 ~x7 ~x320 ~x256 ~x58 ~x207 ~x141 ~x8 x321
138.61/139.05 v ~x270 ~x59 ~x221 ~x155 ~x9 ~x322 ~x284 ~x60 ~x106 ~x235
138.61/139.05 v ~x169 ~x10 x323 ~x298 ~x61 ~x120 ~x249 ~x183 ~x11 ~x324
138.61/139.05 v x117 ~x62 ~x134 ~x263 ~x197 ~x12 x325 x131 x63 ~x148
138.61/139.05 v ~x277 ~x211 x13 ~x326 x145 ~x64 ~x162 ~x291 ~x225 ~x14
138.61/139.05 v x327 x159 ~x65 ~x176 ~x239 ~x15 x328 x173 ~x66
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: 63837 MiB (62799 MiB free)
memory of node 1: 64465 MiB (63426 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528620-1752247697/watcher-4528620-1752247697 -o /tmp/evaluation-result-4528620-1752247697/solver-4528620-1752247697 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752245108-117027 --watchdog 3760 pb_picat HOME/instance-4528620-1752247697.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=118151, runsolver pid=118148
[startup+0.100068 s]*
/proc/loadavg: 4.30 4.25 4.10 5/250 118152
/proc/meminfo: memFree=129247404/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2027148 memory=21604 CPUtime=0.1 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 971 0 0 0 9 1 0 0 20 0 1 0 140448413 2075799552 5401 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 506787 5401 1536 343 0 503851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 21604 KiB
[startup+0.213203 s]*
/proc/loadavg: 4.30 4.25 4.10 5/250 118152
/proc/meminfo: memFree=129247404/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2027148 memory=27748 CPUtime=0.21 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 974 0 0 0 20 1 0 0 20 0 1 0 140448413 2075799552 6937 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 506787 6937 1536 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 27748 KiB
[startup+0.31308 s]*
/proc/loadavg: 4.30 4.25 4.10 5/250 118152
/proc/meminfo: memFree=129243308/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2027148 memory=35940 CPUtime=0.31 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 978 0 0 0 30 1 0 0 20 0 1 0 140448413 2075799552 8985 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 506787 8985 1536 343 0 503851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 35940 KiB
[startup+0.700357 s]
/proc/loadavg: 4.30 4.25 4.10 5/250 118152
/proc/meminfo: memFree=129234360/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2037692 memory=45492 CPUtime=0.68 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 1797 0 0 0 66 2 0 0 20 0 1 0 140448413 2086596608 11373 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 509423 11373 1664 343 0 506487 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2037692 KiB
Current children cumulated memory: 45492 KiB
[startup+1.5003 s]
/proc/loadavg: 4.30 4.25 4.10 5/250 118152
/proc/meminfo: memFree=129324472/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2039756 memory=46432 CPUtime=1.48 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 2741 0 0 0 146 2 0 0 20 0 1 0 140448413 2088710144 11608 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 509939 11608 1664 343 0 507003 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2039756 KiB
Current children cumulated memory: 46432 KiB
[startup+3.11281 s]
/proc/loadavg: 4.28 4.25 4.10 5/250 118152
/proc/meminfo: memFree=129324472/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2041936 memory=49612 CPUtime=3.08 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 6007 0 0 0 305 3 0 0 20 0 1 0 140448413 2090942464 12403 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 510484 12403 1664 343 0 507548 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2041936 KiB
Current children cumulated memory: 49612 KiB
[startup+6.30031 s]
/proc/loadavg: 4.28 4.25 4.10 5/250 118152
/proc/meminfo: memFree=129324472/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2047268 memory=53664 CPUtime=6.26 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 10313 0 0 0 622 4 0 0 20 0 1 0 140448413 2096402432 13416 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 511817 13416 1696 343 0 508881 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2047268 KiB
Current children cumulated memory: 53664 KiB
[startup+12.7003 s]
/proc/loadavg: 4.24 4.24 4.09 5/250 118152
/proc/meminfo: memFree=129284080/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2059556 memory=66756 CPUtime=12.65 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 11570 0 0 0 1260 5 0 0 20 0 1 0 140448413 2108985344 16689 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 514889 16689 1696 343 0 511953 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2059556 KiB
Current children cumulated memory: 66756 KiB
[startup+25.5003 s]
/proc/loadavg: 4.20 4.23 4.09 5/250 118152
/proc/meminfo: memFree=129208068/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2075944 memory=78516 CPUtime=25.42 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 16035 0 0 0 2535 7 0 0 20 0 1 0 140448413 2125766656 19629 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 518986 19629 1696 343 0 516050 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2075944 KiB
Current children cumulated memory: 78516 KiB
[startup+51.1128 s]
/proc/loadavg: 4.13 4.21 4.09 5/250 118152
/proc/meminfo: memFree=129215188/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2075944 memory=80564 CPUtime=50.96 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 24404 0 0 0 5086 10 0 0 20 0 1 0 140448413 2125766656 20141 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 518986 20141 1696 343 0 516050 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2075944 KiB
Current children cumulated memory: 80564 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.19 4.09 5/250 118154
/proc/meminfo: memFree=129249980/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2074200 memory=76892 CPUtime=101.99 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 40454 0 0 0 10184 15 0 0 20 0 1 0 140448413 2123980800 19223 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 518550 19223 1696 343 0 515614 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2074200 KiB
Current children cumulated memory: 76892 KiB
[startup+139.058 s]
# the end of solver process 118151 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=138.457 s, system=0.205185 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.10 4.19 4.09 5/250 118154
/proc/meminfo: memFree=129249980/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2074200 memory=76892 CPUtime=102.09 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 40454 0 0 0 10194 15 0 0 20 0 1 0 140448413 2123980800 19223 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 518550 19223 1696 343 0 515614 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 2074200 KiB
Current children cumulated memory: 76892 KiB
[startup+115.2 s]
/proc/loadavg: 4.09 4.18 4.09 5/250 118154
/proc/meminfo: memFree=129261168/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2074200 memory=74588 CPUtime=114.86 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 53821 0 0 0 11467 19 0 0 20 0 1 0 140448413 2123980800 18647 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 518550 18647 1696 343 0 515614 0
Current children cumulated CPU time: 114.86 s
Current children cumulated vsize: 2074200 KiB
Current children cumulated memory: 74588 KiB
[startup+128 s]*
/proc/loadavg: 4.14 4.19 4.09 5/250 118156
/proc/meminfo: memFree=129258044/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2074204 memory=72388 CPUtime=127.64 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 53872 0 0 0 12745 19 0 0 20 0 1 0 140448413 2123984896 18097 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 518551 18097 1696 343 0 515615 0
Current children cumulated CPU time: 127.64 s
Current children cumulated vsize: 2074204 KiB
Current children cumulated memory: 72388 KiB
[startup+134.4 s]
/proc/loadavg: 4.13 4.19 4.09 5/250 118156
/proc/meminfo: memFree=129254200/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2082396 memory=86724 CPUtime=134.01 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 53879 0 0 0 13381 20 0 0 20 0 1 0 140448413 2132373504 21681 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 520599 21681 1696 343 0 517663 0
Current children cumulated CPU time: 134.01 s
Current children cumulated vsize: 2082396 KiB
Current children cumulated memory: 86724 KiB
[startup+137.6 s]
/proc/loadavg: 4.12 4.18 4.09 5/250 118156
/proc/meminfo: memFree=129241928/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2082396 memory=86724 CPUtime=137.2 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 53879 0 0 0 13700 20 0 0 20 0 1 0 140448413 2132373504 21681 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 520599 21681 1696 343 0 517663 0
Current children cumulated CPU time: 137.2 s
Current children cumulated vsize: 2082396 KiB
Current children cumulated memory: 86724 KiB
[startup+138.4 s]
/proc/loadavg: 4.12 4.18 4.09 5/250 118156
/proc/meminfo: memFree=129225544/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2115168 memory=105568 CPUtime=138 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 53991 0 0 0 13780 20 0 0 20 0 1 0 140448413 2165932032 26392 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 528792 26392 1696 343 0 525856 0
Current children cumulated CPU time: 138 s
Current children cumulated vsize: 2115168 KiB
Current children cumulated memory: 105568 KiB
[startup+138.8 s]
/proc/loadavg: 4.12 4.18 4.09 5/250 118156
/proc/meminfo: memFree=129225544/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2115168 memory=105568 CPUtime=138.4 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 53991 0 0 0 13820 20 0 0 20 0 1 0 140448413 2165932032 26392 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 528792 26392 1696 343 0 525856 0
Current children cumulated CPU time: 138.4 s
Current children cumulated vsize: 2115168 KiB
Current children cumulated memory: 105568 KiB
[startup+139 s]*
/proc/loadavg: 4.12 4.18 4.09 5/250 118156
/proc/meminfo: memFree=129225544/131382120 swapFree=33010416/33010684
[pid=118151] ppid=118148 vsize=2115168 memory=105568 CPUtime=138.61 cores=5,7
/proc/118151/stat : 118151 (pb_picat) R 118148 118151 117007 0 -1 4194304 53991 0 0 0 13841 20 0 0 20 0 1 0 140448413 2165932032 26392 18446744073709551615 93998486593536 93998487995117 140734549295088 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93998488266544 93998490140784 93998525771776 140734549301660 140734549301736 140734549301736 140734549307340 0
/proc/118151/statm: 528792 26392 1696 343 0 525856 0
Current children cumulated CPU time: 138.61 s
Current children cumulated vsize: 2115168 KiB
Current children cumulated memory: 105568 KiB
Child status: 0
Real time (s): 139.058
CPU time (s): 138.663
CPU user time (s): 138.457
CPU system time (s): 0.205185
CPU usage (%): 99.7158
Max. virtual memory (cumulated for all children) (KiB): 2115168
Max. memory (cumulated for all children) (KiB): 105568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 138.457
system time used= 0.205185
maximum resident set size= 105824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53996
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= 67
involuntary context switches= 141
# summary of solver processes directly reported to runsolver:
# pid: 118151
# total CPU time (s): 138.663
# total CPU user time (s): 138.457
# total CPU system time (s): 0.205185
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.697344 second user time and 1.39005 second system time
The end
Begin job on nodeC003 at 2025-07-11 17:28:17
IDJOB=4528620
IDBENCH=176189
IDSOLVER=3385
FILE ID=nodeC003/4528620-1752247697
RUNJOBID= nodeC003-1752245108-117027
SLURM_JOB_ID= 9682564
Free space on /tmp= 432020 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528620-1752247697/watcher-4528620-1752247697 -o /tmp/evaluation-result-4528620-1752247697/solver-4528620-1752247697 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752245108-117027 --watchdog 3760 pb_picat HOME/instance-4528620-1752247697.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0eb4af5d9d6a7991e65a6bdba739f56a
RANDOM SEED=920747431
nodeC003 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 : 3660.986
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 : 6983.44
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 : 3591.485
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 : 6983.44
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.486
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 : 6983.44
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.154
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 : 6983.44
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 : 3491.420
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 : 6983.44
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 : 2494.092
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 : 6983.44
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 : 3700.000
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 : 6983.44
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 : 1197.272
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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129255596 kB
MemAvailable: 129586284 kB
Buffers: 2736 kB
Cached: 1123640 kB
SwapCached: 36 kB
Active: 908028 kB
Inactive: 627768 kB
Active(anon): 419740 kB
Inactive(anon): 7604 kB
Active(file): 488288 kB
Inactive(file): 620164 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 4224 kB
Writeback: 20 kB
AnonPages: 409708 kB
Mapped: 116208 kB
Shmem: 17924 kB
KReclaimable: 123728 kB
Slab: 212036 kB
SReclaimable: 123728 kB
SUnreclaim: 88308 kB
KernelStack: 4032 kB
PageTables: 4080 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 6740916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 245760 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: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432016 MiB
End job on nodeC003 at 2025-07-11 17:30:37