3.38/3.43 c Filename:instance-4517852-1751543295.opb, Cutoff_time:3600, memory_limit_gb:500000
3.38/3.43 c Scip time: 1800
3.38/3.43 c Use Presolve
3.38/3.43 c Parse finsih
3.38/3.43 c Start Presolve
3.38/3.43 c After Reduce Vars: 329 Clauses: 16800 Top clause weight: 15 Hard Clauses: 16786
3600.05/3608.90 c Use LS-small
3600.05/3608.90 c Use postsolve
3600.05/3608.90 o 12
3600.05/3608.90 s SATISFIABLE
3600.05/3608.90 v x92 x93 x94 -x95 x96 x97 x98 x99 x100 x101 x102 x103 -x104 x105 -x106 -x120 -x134 -x148 -x162 -x176 -x190 -x204 -x218 -x232 -x246 -x260 -x274 -x288 -x107 -x121 -x135 -x149 -x163 -x177 -x191 -x205 -x219 -x233 -x247 -x261 -x275 -x289 -x108 -x122 -x136 -x150 -x164 -x178 -x192 -x206 -x220 -x234 -x248 -x262 -x276 -x290 -x109 -x123 -x137 -x151 -x165 x179 -x193 x207 -x221 -x235 -x249 -x263 -x277 -x291 -x110 -x124 -x138 -x152 -x166 -x180 -x194 -x208 -x222 -x236 -x250 -x264 -x278 -x292 -x111 -x125 -x139 -x153 -x167 -x181 -x195 -x209 -x223 -x237 -x251 -x265 -x279 -x293 -x112 -x126 -x140 -x154 -x168 -x182 -x196 -x210 -x224 -x238 -x252 -x266 -x280 -x294 -x113 -x127 -x141 -x155 -x169 -x183 -x197 -x211 -x225 -x239 -x253 -x267 -x281 -x295 -x114 -x128 -x142 -x156 -x170 -x184 -x198 -x212 -x226 -x240 -x254 -x268 -x282 -x296 -x115 -x129 -x143 -x157 -x171 -x185 -x199 -x213 -x227 -x241 -x255 -x269 -x283 -x297 -x116 -x130 -x144 -x158 -x172 -x186 -x200 -x214 -x228 -x242 -x256 -x270 -x284 -x298 -x117 -x131 -x145 -x159 -x173 -x187 -x201 -x215 -x229 -x243 -x257 -x271 -x285 -x299 -x118 x132 -x146 -x160 -x174 -x188 -x202 -x216 -x230 -x244 -x258 -x272 -x286 -x300 -x119 -x133 -x147 -x161 -x175 -x189 -x203 -x217 -x231 -x245 -x259 -x273 -x287 -x301 x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 x62 -x63 -x64 x65 -x66 -x67 -x68 x69 -x70 x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x302 x303 x304 -x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 x318 -x319 -x320 x321 -x322 x323 -x324 x325 x326 -x327 -x328 x329
3600.05/3608.90 c Use postsolve
3600.05/3608.90 c Done 1795.24s
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61467 MiB free)
memory of node 1: 64465 MiB (62831 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517852-1751543295/watcher-4517852-1751543295 -o /tmp/evaluation-result-4517852-1751543295/solver-4517852-1751543295 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751543295-76150 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4517852-1751543295.opb -t 3600 -s 705114228
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=76208, runsolver pid=76196
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.02 2.48 3.10 6/268 76213
/proc/meminfo: memFree=127260592/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=30256 memory=15504 CPUtime=0.09 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 3754 0 0 0 9 0 0 0 20 0 1 0 70008123 30982144 3876 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 7564 3876 1152 2752 0 4217 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 15504 KiB
[startup+0.204907 s]*
/proc/loadavg: 1.02 2.48 3.10 6/268 76213
/proc/meminfo: memFree=127260592/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=30256 memory=15504 CPUtime=0.2 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 3754 0 0 0 20 0 0 0 20 0 1 0 70008123 30982144 3876 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 7564 3876 1152 2752 0 4217 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 15504 KiB
[startup+0.305041 s]*
/proc/loadavg: 1.02 2.48 3.10 6/268 76213
/proc/meminfo: memFree=127216744/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=70556 memory=59720 CPUtime=0.3 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 13691 0 0 0 29 1 0 0 20 0 1 0 70008123 72249344 14930 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 17639 14930 2688 2752 0 14292 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70556 KiB
Current children cumulated memory: 59720 KiB
[startup+0.700177 s]
/proc/loadavg: 1.02 2.48 3.10 6/268 76213
/proc/meminfo: memFree=127076064/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=142948 memory=127276 CPUtime=0.69 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 25985 0 0 0 65 4 0 0 20 0 1 0 70008123 146378752 31819 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 35737 31819 2816 2752 0 32390 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 142948 KiB
Current children cumulated memory: 127276 KiB
[startup+1.50013 s]
/proc/loadavg: 1.02 2.48 3.10 6/268 76213
/proc/meminfo: memFree=126859484/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=153320 memory=133932 CPUtime=1.49 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 27621 0 0 0 145 4 0 0 20 0 1 0 70008123 156999680 33483 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 38330 33483 2816 2752 0 34983 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 153320 KiB
Current children cumulated memory: 133932 KiB
[startup+3.10492 s]
/proc/loadavg: 1.02 2.48 3.10 6/268 76213
/proc/meminfo: memFree=126029596/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=186388 memory=154796 CPUtime=3.09 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 32872 0 0 0 305 4 0 0 20 0 1 0 70008123 190861312 38699 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 46597 38699 2816 2752 0 43250 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 186388 KiB
Current children cumulated memory: 154796 KiB
[startup+6.30016 s]
/proc/loadavg: 1.25 2.50 3.10 6/268 76213
/proc/meminfo: memFree=125381356/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=213712 memory=179628 CPUtime=6.27 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 39238 0 0 0 622 5 0 0 20 0 1 0 70008123 218841088 44907 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 53428 44907 2816 2752 0 50081 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 213712 KiB
Current children cumulated memory: 179628 KiB
[startup+12.7002 s]
/proc/loadavg: 1.47 2.53 3.11 6/268 76213
/proc/meminfo: memFree=124704004/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=223668 memory=189772 CPUtime=12.65 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 44919 0 0 0 1259 6 0 0 20 0 1 0 70008123 229036032 47443 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 55917 47443 2816 2752 0 52570 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 223668 KiB
Current children cumulated memory: 189772 KiB
[startup+25.5002 s]
/proc/loadavg: 2.03 2.60 3.12 6/268 76213
/proc/meminfo: memFree=124769804/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=235544 memory=201420 CPUtime=25.42 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 47818 0 0 0 2535 7 0 0 20 0 1 0 70008123 241197056 50355 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 58886 50355 2848 2752 0 55539 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 235544 KiB
Current children cumulated memory: 201420 KiB
[startup+51.1052 s]
/proc/loadavg: 2.76 2.73 3.15 6/268 76214
/proc/meminfo: memFree=124909320/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=254180 memory=219912 CPUtime=50.94 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 62699 0 0 0 5085 9 0 0 20 0 1 0 70008123 260280320 54978 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 63545 54978 2848 2752 0 60198 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 254180 KiB
Current children cumulated memory: 219912 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 2.94 3.20 6/268 76217
/proc/meminfo: memFree=125013876/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=280848 memory=243956 CPUtime=101.98 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 71056 0 0 0 10187 11 0 0 20 0 1 0 70008123 287588352 60989 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 70212 60989 2848 2752 0 66865 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 280848 KiB
Current children cumulated memory: 243956 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 3.15 3.26 6/268 76219
/proc/meminfo: memFree=124772892/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=316008 memory=278760 CPUtime=161.81 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 78728 0 0 0 16168 13 0 0 20 0 1 0 70008123 323592192 69690 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 79002 69690 2848 2752 0 75655 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 316008 KiB
Current children cumulated memory: 278760 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.33 3.32 6/269 76226
/proc/meminfo: memFree=124573056/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=351300 memory=312744 CPUtime=221.62 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 85803 0 0 0 22148 14 0 0 20 0 1 0 70008123 359731200 78186 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 87825 78186 2848 2752 0 84478 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 351300 KiB
Current children cumulated memory: 312744 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.47 3.37 6/269 76227
/proc/meminfo: memFree=124458976/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=370584 memory=331176 CPUtime=281.42 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 90421 0 0 0 28127 15 0 0 20 0 1 0 70008123 379478016 82794 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 92646 82794 2848 2752 0 89299 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 370584 KiB
Current children cumulated memory: 331176 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 3.58 3.41 6/265 76230
/proc/meminfo: memFree=124270464/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=400628 memory=357272 CPUtime=341.22 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 99157 0 0 0 34106 16 0 0 20 0 1 0 70008123 410243072 89318 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 100157 89318 2848 2752 0 96810 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 400628 KiB
Current children cumulated memory: 357272 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.67 3.46 7/265 76232
/proc/meminfo: memFree=124118188/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=409668 memory=367104 CPUtime=401.02 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 105019 0 0 0 40084 18 0 0 20 0 1 0 70008123 419500032 91776 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 102417 91776 2848 2752 0 99070 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 409668 KiB
Current children cumulated memory: 367104 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.77 3.51 6/265 76236
/proc/meminfo: memFree=123946704/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=454060 memory=429712 CPUtime=460.81 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 117333 0 0 0 46062 19 0 0 20 0 1 0 70008123 464957440 107428 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 113515 107428 2848 2752 0 110168 0
Current children cumulated CPU time: 460.81 s
################
# More data... #
################
Current children cumulated memory: 711292 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.11 4.05 6/263 76361
/proc/meminfo: memFree=124149632/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=717868 memory=711292 CPUtime=2914.79 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 298407 0 0 0 291422 57 0 0 20 0 1 0 70008123 735096832 177823 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 179467 177823 3168 2752 0 176120 0
Current children cumulated CPU time: 2914.79 s
Current children cumulated vsize: 717868 KiB
Current children cumulated memory: 711292 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.09 4.05 6/263 76363
/proc/meminfo: memFree=124153992/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=717868 memory=711292 CPUtime=2974.67 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 298407 0 0 0 297410 57 0 0 20 0 1 0 70008123 735096832 177823 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 179467 177823 3168 2752 0 176120 0
Current children cumulated CPU time: 2974.67 s
Current children cumulated vsize: 717868 KiB
Current children cumulated memory: 711292 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.10 4.05 6/263 76365
/proc/meminfo: memFree=124161140/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=717868 memory=711292 CPUtime=3034.56 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 298413 0 0 0 303399 57 0 0 20 0 1 0 70008123 735096832 177823 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 179467 177823 3168 2752 0 176120 0
Current children cumulated CPU time: 3034.56 s
Current children cumulated vsize: 717868 KiB
Current children cumulated memory: 711292 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.05 6/263 76367
/proc/meminfo: memFree=124160576/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=717868 memory=711292 CPUtime=3094.44 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 298413 0 0 0 309387 57 0 0 20 0 1 0 70008123 735096832 177823 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 179467 177823 3168 2752 0 176120 0
Current children cumulated CPU time: 3094.44 s
Current children cumulated vsize: 717868 KiB
Current children cumulated memory: 711292 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.05 6/262 76369
/proc/meminfo: memFree=124160804/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=717868 memory=711292 CPUtime=3154.32 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 298419 0 0 0 315375 57 0 0 20 0 1 0 70008123 735096832 177823 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 179467 177823 3168 2752 0 176120 0
Current children cumulated CPU time: 3154.32 s
Current children cumulated vsize: 717868 KiB
Current children cumulated memory: 711292 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.05 6/263 76376
/proc/meminfo: memFree=124176828/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=717868 memory=711292 CPUtime=3214.21 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 298419 0 0 0 321364 57 0 0 20 0 1 0 70008123 735096832 177823 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 179467 177823 3168 2752 0 176120 0
Current children cumulated CPU time: 3214.21 s
Current children cumulated vsize: 717868 KiB
Current children cumulated memory: 711292 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.05 6/263 76378
/proc/meminfo: memFree=124175720/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=717868 memory=711292 CPUtime=3274.09 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 298425 0 0 0 327352 57 0 0 20 0 1 0 70008123 735096832 177823 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 179467 177823 3168 2752 0 176120 0
Current children cumulated CPU time: 3274.09 s
Current children cumulated vsize: 717868 KiB
Current children cumulated memory: 711292 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.05 6/264 76381
/proc/meminfo: memFree=124176208/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=717868 memory=711292 CPUtime=3333.97 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 298425 0 0 0 333340 57 0 0 20 0 1 0 70008123 735096832 177823 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 179467 177823 3168 2752 0 176120 0
Current children cumulated CPU time: 3333.97 s
Current children cumulated vsize: 717868 KiB
Current children cumulated memory: 711292 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.05 6/265 76384
/proc/meminfo: memFree=124175884/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=717868 memory=711292 CPUtime=3393.85 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 298425 0 0 0 339328 57 0 0 20 0 1 0 70008123 735096832 177823 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 179467 177823 3168 2752 0 176120 0
Current children cumulated CPU time: 3393.85 s
Current children cumulated vsize: 717868 KiB
Current children cumulated memory: 711292 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.05 6/265 76388
/proc/meminfo: memFree=124177788/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=717868 memory=711292 CPUtime=3453.74 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 298431 0 0 0 345317 57 0 0 20 0 1 0 70008123 735096832 177823 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 179467 177823 3168 2752 0 176120 0
Current children cumulated CPU time: 3453.74 s
Current children cumulated vsize: 717868 KiB
Current children cumulated memory: 711292 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.09 4.06 6/265 76390
/proc/meminfo: memFree=124176736/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=717868 memory=711292 CPUtime=3513.62 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 298431 0 0 0 351305 57 0 0 20 0 1 0 70008123 735096832 177823 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 179467 177823 3168 2752 0 176120 0
Current children cumulated CPU time: 3513.62 s
Current children cumulated vsize: 717868 KiB
Current children cumulated memory: 711292 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.06 6/265 76392
/proc/meminfo: memFree=124177232/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=717868 memory=711292 CPUtime=3573.5 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 298437 0 0 0 357293 57 0 0 20 0 1 0 70008123 735096832 177823 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 179467 177823 3168 2752 0 176120 0
Current children cumulated CPU time: 3573.5 s
Current children cumulated vsize: 717868 KiB
Current children cumulated memory: 711292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.07 4.08 4.06 6/265 76394
/proc/meminfo: memFree=124177420/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=717868 memory=711292 CPUtime=3600.05 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 298437 0 0 0 359948 57 0 0 20 0 1 0 70008123 735096832 177823 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 179467 177823 3168 2752 0 176120 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 717868 KiB
Current children cumulated memory: 711292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.91 s]
# the end of solver process 76208 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.49 s, system=0.57543 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.07 4.08 4.06 6/265 76394
/proc/meminfo: memFree=124177420/131250000 swapFree=33010672/33010684
[pid=76208] ppid=76196 vsize=717868 memory=711292 CPUtime=3600.05 cores=4,6
/proc/76208/stat : 76208 (NuPBO-DeepOptS+) R 76196 76208 75760 0 -1 4194304 298437 0 0 0 359948 57 0 0 20 0 1 0 70008123 735096832 177823 18446744073709551615 4198400 15468185 140729396011488 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 30748672 140729396013463 140729396013572 140729396013572 140729396019174 0
/proc/76208/statm: 179467 177823 3168 2752 0 176120 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 717868 KiB
Current children cumulated memory: 711292 KiB
Child status: 10
Real time (s): 3608.91
CPU time (s): 3600.06
CPU user time (s): 3599.49
CPU system time (s): 0.57543
CPU usage (%): 99.755
Max. virtual memory (cumulated for all children) (KiB): 1118900
Max. memory (cumulated for all children) (KiB): 1085940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.49
system time used= 0.57543
maximum resident set size= 1085940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 298575
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= 64
involuntary context switches= 2492
# summary of solver processes directly reported to runsolver:
# pid: 76208
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.49
# total CPU system time (s): 0.57543
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.93771 second user time and 13.9835 second system time
The end
Begin job on nodeC026 at 2025-07-03 13:48:15
IDJOB=4517852
IDBENCH=176189
IDSOLVER=3343
FILE ID=nodeC026/4517852-1751543295
RUNJOBID= nodeC026-1751543295-76150
SLURM_JOB_ID= 9598700
Free space on /tmp= 430580 MiB
SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=2.opb
COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517852-1751543295/watcher-4517852-1751543295 -o /tmp/evaluation-result-4517852-1751543295/solver-4517852-1751543295 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751543295-76150 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4517852-1751543295.opb -t 3600 -s 705114228
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0eb4af5d9d6a7991e65a6bdba739f56a
RANDOM SEED=705114228
nodeC026 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 : 3600.072
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.59
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 : 3600.377
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.59
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 : 3597.218
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.59
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 : 3599.950
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.59
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 : 3600.069
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.59
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 : 3601.294
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.59
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 : 3599.789
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.59
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.082
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127282412 kB
MemAvailable: 129563056 kB
Buffers: 2128 kB
Cached: 2910072 kB
SwapCached: 4 kB
Active: 739624 kB
Inactive: 2239988 kB
Active(anon): 75800 kB
Inactive(anon): 9688 kB
Active(file): 663824 kB
Inactive(file): 2230300 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 64152 kB
Writeback: 0 kB
AnonPages: 70476 kB
Mapped: 104176 kB
Shmem: 18076 kB
KReclaimable: 447320 kB
Slab: 546852 kB
SReclaimable: 447320 kB
SUnreclaim: 99532 kB
KernelStack: 4020 kB
PageTables: 2544 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 330768 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430516 MiB
End job on nodeC026 at 2025-07-03 14:48:24