2.78/2.81 c Filename:instance-4517438-1751539986.opb, Cutoff_time:3600, memory_limit_gb:500000
2.78/2.81 c Scip time: 1800
2.78/2.81 c Use Presolve
2.78/2.81 c Parse finsih
2.78/2.81 c Start Presolve
2.78/2.81 c After Reduce Vars: 364 Clauses: 12844 Top clause weight: 14 Hard Clauses: 12831
3600.04/3609.10 c Use LS-small
3600.04/3609.10 c Use postsolve
3600.04/3609.10 o 5
3600.04/3609.10 s SATISFIABLE
3600.04/3609.10 v x79 -x80 -x81 x82 x83 x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x105 -x118 -x131 -x144 -x157 -x170 -x183 -x196 -x209 -x222 -x235 -x248 -x93 -x106 -x119 -x132 -x145 -x158 -x171 -x184 -x197 -x210 -x223 x236 -x249 -x94 -x107 -x120 -x133 -x146 -x159 -x172 -x185 -x198 -x211 x224 -x237 -x250 -x95 -x108 -x121 -x134 -x147 -x160 -x173 -x186 -x199 -x212 -x225 -x238 -x251 -x96 -x109 -x122 -x135 -x148 -x161 -x174 -x187 -x200 -x213 -x226 -x239 -x252 -x97 -x110 -x123 -x136 -x149 -x162 -x175 -x188 -x201 -x214 -x227 -x240 -x253 -x98 -x111 -x124 -x137 -x150 x163 -x176 -x189 -x202 -x215 -x228 -x241 -x254 -x99 -x112 -x125 -x138 -x151 -x164 -x177 -x190 x203 -x216 -x229 -x242 -x255 -x100 -x113 -x126 -x139 -x152 -x165 -x178 x191 -x204 -x217 -x230 -x243 -x256 x101 -x114 -x127 -x140 -x153 -x166 -x179 -x192 -x205 -x218 -x231 -x244 -x257 -x102 -x115 -x128 x141 -x154 -x167 -x180 -x193 -x206 -x219 -x232 -x245 -x258 -x103 -x116 -x129 -x142 -x155 -x168 -x181 -x194 -x207 -x220 -x233 -x246 -x259 -x104 -x117 -x130 -x143 x156 -x169 -x182 -x195 -x208 -x221 -x234 -x247 -x260 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 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 x301 -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 x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364
3600.04/3609.10 c Use postsolve
3600.04/3609.10 c Done 1795.11s
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 (57085 MiB free)
memory of node 1: 64465 MiB (63743 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517438-1751539986/watcher-4517438-1751539986 -o /tmp/evaluation-result-4517438-1751539986/solver-4517438-1751539986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751539986-80684 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4517438-1751539986.opb -t 3600 -s 2041840583
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=80732, runsolver pid=80723
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.64 1.63 2.60 5/265 80741
/proc/meminfo: memFree=123708508/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=28216 memory=13108 CPUtime=0.1 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 2757 0 0 0 10 0 0 0 20 0 1 0 69677988 28893184 3277 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 7054 3277 1152 2752 0 3707 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 13108 KiB
[startup+0.205398 s]*
/proc/loadavg: 0.64 1.63 2.60 5/265 80741
/proc/meminfo: memFree=123679968/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=53392 memory=42932 CPUtime=0.2 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 8784 0 0 0 19 1 0 0 20 0 1 0 69677988 54673408 10733 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 13348 10733 2656 2752 0 10001 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53392 KiB
Current children cumulated memory: 42932 KiB
[startup+0.305397 s]*
/proc/loadavg: 0.64 1.63 2.60 5/265 80741
/proc/meminfo: memFree=123627864/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=101560 memory=83508 CPUtime=0.3 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 15869 0 0 0 27 3 0 0 20 0 1 0 69677988 103997440 20877 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 25390 20877 2720 2752 0 22043 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 101560 KiB
Current children cumulated memory: 83508 KiB
[startup+0.70017 s]
/proc/loadavg: 0.64 1.63 2.60 5/265 80741
/proc/meminfo: memFree=123567696/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=131056 memory=114416 CPUtime=0.69 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 21848 0 0 0 65 4 0 0 20 0 1 0 69677988 134201344 28604 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 32764 28604 2848 2752 0 29417 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 131056 KiB
Current children cumulated memory: 114416 KiB
[startup+1.50017 s]
/proc/loadavg: 0.64 1.63 2.60 5/265 80741
/proc/meminfo: memFree=123461352/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=142492 memory=121840 CPUtime=1.49 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 23736 0 0 0 145 4 0 0 20 0 1 0 69677988 145911808 30460 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 35623 30460 2848 2752 0 32276 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 142492 KiB
Current children cumulated memory: 121840 KiB
[startup+3.10525 s]
/proc/loadavg: 0.64 1.63 2.60 5/265 80741
/proc/meminfo: memFree=122963712/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=180936 memory=150244 CPUtime=3.08 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 32333 0 0 0 303 5 0 0 20 0 1 0 69677988 185278464 37561 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 45234 37561 2848 2752 0 41887 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 180936 KiB
Current children cumulated memory: 150244 KiB
[startup+6.30016 s]
/proc/loadavg: 0.91 1.67 2.60 5/265 80741
/proc/meminfo: memFree=122923844/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=183052 memory=151396 CPUtime=6.27 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 32665 0 0 0 622 5 0 0 20 0 1 0 69677988 187445248 37849 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 45763 37849 2848 2752 0 42416 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 183052 KiB
Current children cumulated memory: 151396 KiB
[startup+12.7002 s]
/proc/loadavg: 1.16 1.71 2.61 5/265 80741
/proc/meminfo: memFree=122823000/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=199884 memory=162788 CPUtime=12.66 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 35574 0 0 0 1260 6 0 0 20 0 1 0 69677988 204681216 40697 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 49971 40697 2848 2752 0 46624 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 199884 KiB
Current children cumulated memory: 162788 KiB
[startup+25.5002 s]
/proc/loadavg: 1.79 1.83 2.64 5/265 80741
/proc/meminfo: memFree=122676388/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=233392 memory=193348 CPUtime=25.42 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 45429 0 0 0 2535 7 0 0 20 0 1 0 69677988 238993408 48337 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 58348 48337 2848 2752 0 55001 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 233392 KiB
Current children cumulated memory: 193348 KiB
[startup+51.1054 s]
/proc/loadavg: 2.61 2.02 2.68 5/266 80743
/proc/meminfo: memFree=122646720/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=250732 memory=209676 CPUtime=50.94 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 50735 0 0 0 5086 8 0 0 20 0 1 0 69677988 256749568 52419 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 62683 52419 2848 2752 0 59336 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 250732 KiB
Current children cumulated memory: 209676 KiB
[startup+102.3 s]
/proc/loadavg: 3.40 2.32 2.75 5/266 80745
/proc/meminfo: memFree=122511280/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=305580 memory=259852 CPUtime=101.98 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 62776 0 0 0 10188 10 0 0 20 0 1 0 69677988 312913920 64963 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 76395 64963 2848 2752 0 73048 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 305580 KiB
Current children cumulated memory: 259852 KiB
[startup+162.3 s]
/proc/loadavg: 3.82 2.65 2.84 5/265 80747
/proc/meminfo: memFree=122433836/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=346584 memory=302264 CPUtime=161.77 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 71358 0 0 0 16166 11 0 0 20 0 1 0 69677988 354902016 75566 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 86646 75566 2848 2752 0 83299 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 346584 KiB
Current children cumulated memory: 302264 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.93 2.92 5/264 80749
/proc/meminfo: memFree=122392792/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=392224 memory=335412 CPUtime=221.58 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 78773 0 0 0 22145 13 0 0 20 0 1 0 69677988 401637376 83853 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 98056 83853 2848 2752 0 94709 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 392224 KiB
Current children cumulated memory: 335412 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.14 3.00 5/264 80752
/proc/meminfo: memFree=122224572/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=431800 memory=384880 CPUtime=281.39 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 85541 0 0 0 28125 14 0 0 20 0 1 0 69677988 442163200 96220 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 107950 96220 2848 2752 0 104603 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 431800 KiB
Current children cumulated memory: 384880 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.31 3.07 5/264 80754
/proc/meminfo: memFree=122163500/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=472088 memory=423740 CPUtime=341.2 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 96895 0 0 0 34103 17 0 0 20 0 1 0 69677988 483418112 105935 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 118022 105935 3168 2752 0 114675 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 472088 KiB
Current children cumulated memory: 423740 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.46 3.13 5/263 80756
/proc/meminfo: memFree=122090668/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=514840 memory=464900 CPUtime=401.02 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 105803 0 0 0 40083 19 0 0 20 0 1 0 69677988 527196160 116225 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 128710 116225 3168 2752 0 125363 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 514840 KiB
Current children cumulated memory: 464900 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.57 3.20 5/264 80761
/proc/meminfo: memFree=122045088/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=562480 memory=507028 CPUtime=460.84 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 113402 0 0 0 46064 20 0 0 20 0 1 0 69677988 575979520 126757 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 140620 126757 3168 2752 0 137273 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
Current children cumulated memory: 459208 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.15 4.09 5/264 80898
/proc/meminfo: memFree=122026256/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=466404 memory=459208 CPUtime=2914.69 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 201179 0 0 0 291416 53 0 0 20 0 1 0 69677988 477597696 114802 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 116601 114802 3168 2752 0 113254 0
Current children cumulated CPU time: 2914.69 s
Current children cumulated vsize: 466404 KiB
Current children cumulated memory: 459208 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/264 80901
/proc/meminfo: memFree=122026388/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=466404 memory=459208 CPUtime=2974.56 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 201179 0 0 0 297403 53 0 0 20 0 1 0 69677988 477597696 114802 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 116601 114802 3168 2752 0 113254 0
Current children cumulated CPU time: 2974.56 s
Current children cumulated vsize: 466404 KiB
Current children cumulated memory: 459208 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 80903
/proc/meminfo: memFree=122025848/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=466404 memory=459208 CPUtime=3034.44 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 201179 0 0 0 303391 53 0 0 20 0 1 0 69677988 477597696 114802 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 116601 114802 3168 2752 0 113254 0
Current children cumulated CPU time: 3034.44 s
Current children cumulated vsize: 466404 KiB
Current children cumulated memory: 459208 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 80905
/proc/meminfo: memFree=122005880/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=466404 memory=459208 CPUtime=3094.31 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 201179 0 0 0 309378 53 0 0 20 0 1 0 69677988 477597696 114802 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 116601 114802 3168 2752 0 113254 0
Current children cumulated CPU time: 3094.31 s
Current children cumulated vsize: 466404 KiB
Current children cumulated memory: 459208 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/263 80906
/proc/meminfo: memFree=122025552/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=466404 memory=459208 CPUtime=3154.18 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 201184 0 0 0 315365 53 0 0 20 0 1 0 69677988 477597696 114802 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 116601 114802 3168 2752 0 113254 0
Current children cumulated CPU time: 3154.18 s
Current children cumulated vsize: 466404 KiB
Current children cumulated memory: 459208 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 80908
/proc/meminfo: memFree=122024548/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=466404 memory=459208 CPUtime=3214.06 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 201184 0 0 0 321353 53 0 0 20 0 1 0 69677988 477597696 114802 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 116601 114802 3168 2752 0 113254 0
Current children cumulated CPU time: 3214.06 s
Current children cumulated vsize: 466404 KiB
Current children cumulated memory: 459208 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 80910
/proc/meminfo: memFree=122024852/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=466404 memory=459208 CPUtime=3273.93 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 201184 0 0 0 327340 53 0 0 20 0 1 0 69677988 477597696 114802 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 116601 114802 3168 2752 0 113254 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 466404 KiB
Current children cumulated memory: 459208 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 80914
/proc/meminfo: memFree=122025188/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=466404 memory=459208 CPUtime=3333.8 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 201189 0 0 0 333327 53 0 0 20 0 1 0 69677988 477597696 114802 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 116601 114802 3168 2752 0 113254 0
Current children cumulated CPU time: 3333.8 s
Current children cumulated vsize: 466404 KiB
Current children cumulated memory: 459208 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 80916
/proc/meminfo: memFree=122025260/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=466404 memory=459208 CPUtime=3393.67 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 201189 0 0 0 339314 53 0 0 20 0 1 0 69677988 477597696 114802 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 116601 114802 3168 2752 0 113254 0
Current children cumulated CPU time: 3393.67 s
Current children cumulated vsize: 466404 KiB
Current children cumulated memory: 459208 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 80921
/proc/meminfo: memFree=122023540/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=466404 memory=459208 CPUtime=3453.55 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 201189 0 0 0 345302 53 0 0 20 0 1 0 69677988 477597696 114802 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 116601 114802 3168 2752 0 113254 0
Current children cumulated CPU time: 3453.55 s
Current children cumulated vsize: 466404 KiB
Current children cumulated memory: 459208 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 80927
/proc/meminfo: memFree=122025768/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=466404 memory=459208 CPUtime=3513.42 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 201189 0 0 0 351289 53 0 0 20 0 1 0 69677988 477597696 114802 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 116601 114802 3168 2752 0 113254 0
Current children cumulated CPU time: 3513.42 s
Current children cumulated vsize: 466404 KiB
Current children cumulated memory: 459208 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 80932
/proc/meminfo: memFree=122028088/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=466404 memory=459208 CPUtime=3573.29 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 201194 0 0 0 357276 53 0 0 20 0 1 0 69677988 477597696 114802 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 116601 114802 3168 2752 0 113254 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 466404 KiB
Current children cumulated memory: 459208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 80934
/proc/meminfo: memFree=122027796/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=466404 memory=459208 CPUtime=3600.04 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 201194 0 0 0 359951 53 0 0 20 0 1 0 69677988 477597696 114802 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 116601 114802 3168 2752 0 113254 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 466404 KiB
Current children cumulated memory: 459208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 80732 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.52 s, system=0.53938 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 80934
/proc/meminfo: memFree=122027796/131250000 swapFree=33009904/33010684
[pid=80732] ppid=80723 vsize=466404 memory=459208 CPUtime=3600.04 cores=1,3
/proc/80732/stat : 80732 (NuPBO-DeepOptS+) R 80723 80732 80672 0 -1 4194304 201194 0 0 0 359951 53 0 0 20 0 1 0 69677988 477597696 114802 18446744073709551615 4198400 15468185 140729563218160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43638784 140729563220374 140729563220484 140729563220484 140729563226086 0
/proc/80732/statm: 116601 114802 3168 2752 0 113254 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 466404 KiB
Current children cumulated memory: 459208 KiB
Child status: 10
Real time (s): 3609.11
CPU time (s): 3600.06
CPU user time (s): 3599.52
CPU system time (s): 0.53938
CPU usage (%): 99.7492
Max. virtual memory (cumulated for all children) (KiB): 1705388
Max. memory (cumulated for all children) (KiB): 1614316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.52
system time used= 0.53938
maximum resident set size= 1614316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201251
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= 75
involuntary context switches= 2609
# summary of solver processes directly reported to runsolver:
# pid: 80732
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.52
# total CPU system time (s): 0.53938
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4368 second user time and 14.8443 second system time
The end
Begin job on nodeC033 at 2025-07-03 12:53:06
IDJOB=4517438
IDBENCH=176086
IDSOLVER=3343
FILE ID=nodeC033/4517438-1751539986
RUNJOBID= nodeC033-1751539986-80684
SLURM_JOB_ID= 9598699
Free space on /tmp= 429908 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=13-t=8.opb
COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517438-1751539986/watcher-4517438-1751539986 -o /tmp/evaluation-result-4517438-1751539986/solver-4517438-1751539986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751539986-80684 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4517438-1751539986.opb -t 3600 -s 2041840583
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f78fc52c3f94736c8d8a5f9c953ef5f
RANDOM SEED=2041840583
nodeC033 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.058
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 : 7000.13
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 : 3601.051
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 : 7000.13
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 : 3479.120
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 : 7000.13
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 : 3600.031
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 : 7000.13
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 : 7000.13
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 : 3603.072
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 : 7000.13
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 : 3600.726
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 : 7000.13
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.041
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 123729436 kB
MemAvailable: 129699628 kB
Buffers: 2128 kB
Cached: 6723236 kB
SwapCached: 68 kB
Active: 646192 kB
Inactive: 6142408 kB
Active(anon): 75740 kB
Inactive(anon): 5524 kB
Active(file): 570452 kB
Inactive(file): 6136884 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 67392 kB
Writeback: 0 kB
AnonPages: 66236 kB
Mapped: 103668 kB
Shmem: 18028 kB
KReclaimable: 204188 kB
Slab: 295608 kB
SReclaimable: 204188 kB
SUnreclaim: 91420 kB
KernelStack: 4040 kB
PageTables: 2712 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 329840 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429840 MiB
End job on nodeC033 at 2025-07-03 13:53:15