10.46/10.56 c Filename:instance-4517530-1751539986.opb, Cutoff_time:3600, memory_limit_gb:500000
10.46/10.56 c Scip time: 1800
10.46/10.56 c Use Presolve
10.46/10.56 c Parse finsih
10.46/10.56 c Start Presolve
10.46/10.56 c After Reduce Vars: 531 Clauses: 47196 Top clause weight: 19 Hard Clauses: 47178
3600.02/3609.30 c Use LS-small
3600.02/3609.30 c Use postsolve
3600.02/3609.30 o 16
3600.02/3609.30 s SATISFIABLE
3600.02/3609.30 v -x154 x155 x156 -x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 -x172 -x190 -x208 -x226 -x244 -x262 -x280 -x298 -x316 -x334 -x352 -x370 -x388 x406 -x424 -x442 -x460 -x478 -x173 -x191 -x209 -x227 -x245 -x263 -x281 -x299 -x317 -x335 -x353 -x371 -x389 -x407 -x425 -x443 -x461 -x479 -x174 -x192 -x210 -x228 -x246 -x264 -x282 -x300 -x318 -x336 -x354 -x372 -x390 -x408 -x426 -x444 -x462 -x480 -x175 -x193 -x211 -x229 -x247 -x265 -x283 -x301 -x319 -x337 -x355 -x373 x391 -x409 -x427 -x445 -x463 -x481 -x176 -x194 -x212 -x230 -x248 -x266 -x284 -x302 -x320 -x338 -x356 -x374 -x392 -x410 -x428 -x446 -x464 -x482 -x177 -x195 -x213 -x231 -x249 -x267 -x285 -x303 -x321 -x339 -x357 -x375 -x393 -x411 -x429 -x447 -x465 -x483 -x178 -x196 -x214 -x232 -x250 -x268 -x286 -x304 -x322 -x340 -x358 -x376 -x394 -x412 -x430 -x448 -x466 -x484 -x179 -x197 -x215 -x233 -x251 -x269 -x287 -x305 -x323 -x341 -x359 -x377 -x395 -x413 -x431 -x449 -x467 -x485 -x180 -x198 -x216 -x234 -x252 -x270 -x288 -x306 -x324 -x342 -x360 -x378 -x396 -x414 -x432 -x450 -x468 -x486 -x181 -x199 -x217 -x235 -x253 -x271 -x289 -x307 -x325 -x343 -x361 -x379 -x397 -x415 -x433 -x451 -x469 -x487 -x182 -x200 -x218 -x236 -x254 -x272 -x290 -x308 -x326 -x344 -x362 -x380 -x398 -x416 -x434 -x452 -x470 -x488 -x183 -x201 -x219 -x237 -x255 -x273 -x291 -x309 -x327 -x345 -x363 -x381 -x399 -x417 -x435 -x453 -x471 -x489 -x184 -x202 -x220 -x238 -x256 -x274 -x292 -x310 -x328 -x346 -x364 -x382 -x400 -x418 -x436 -x454 -x472 -x490 -x185 -x203 -x221 -x239 -x257 -x275 -x293 -x311 -x329 -x347 -x365 -x383 -x401 -x419 -x437 -x455 -x473 -x491 -x186 -x204 -x222 -x240 -x258 -x276 -x294 -x312 -x330 -x348 -x366 -x384 -x402 -x420 -x438 -x456 -x474 -x492 -x187 -x205 -x223 -x241 -x259 -x277 -x295 -x313 -x331 -x349 -x367 -x385 -x403 -x421 -x439 -x457 -x475 -x493 -x188 -x206 -x224 -x242 -x260 -x278 -x296 -x314 -x332 -x350 -x368 -x386 -x404 -x422 -x440 -x458 -x476 -x494 -x189 -x207 -x225 -x243 -x261 -x279 -x297 -x315 -x333 -x351 -x369 -x387 -x405 -x423 -x441 -x459 -x477 -x495 -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 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 x153 x496 -x497 x498 -x499 x500 -x501 x502 -x503 x504 -x505 x506 -x507 -x508 x509 -x510 x511 -x512 x513 x514 -x515 -x516 x517 x518 -x519 -x520 x521 x522 -x523 -x524 x525 x526 -x527 x528 -x529 -x530 x531
3600.02/3609.30 c Use postsolve
3600.02/3609.30 c Done 1795.41s
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-4517530-1751539986/watcher-4517530-1751539986 -o /tmp/evaluation-result-4517530-1751539986/solver-4517530-1751539986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751539986-80682 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4517530-1751539986.opb -t 3600 -s 2041840583
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=80736, runsolver pid=80724
[startup+0.100058 s]*
/proc/loadavg: 0.64 1.63 2.60 6/265 80741
/proc/meminfo: memFree=123708508/131250000 swapFree=33009904/33010684
[pid=80736] ppid=80724 vsize=25640 memory=9440 CPUtime=0.1 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 1934 0 0 0 10 0 0 0 20 0 1 0 69677989 26255360 2360 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 6410 2360 1088 2752 0 3063 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25640 KiB
Current children cumulated memory: 9440 KiB
[startup+0.204585 s]*
/proc/loadavg: 0.64 1.63 2.60 6/265 80741
/proc/meminfo: memFree=123675116/131250000 swapFree=33009904/33010684
[pid=80736] ppid=80724 vsize=39008 memory=22496 CPUtime=0.2 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 3670 0 0 0 20 0 0 0 20 0 1 0 69677989 39944192 5624 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 9752 5624 1088 2752 0 6405 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39008 KiB
Current children cumulated memory: 22496 KiB
[startup+0.305072 s]*
/proc/loadavg: 0.64 1.63 2.60 6/265 80741
/proc/meminfo: memFree=123613940/131250000 swapFree=33009904/33010684
[pid=80736] ppid=80724 vsize=52556 memory=36364 CPUtime=0.3 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 6736 0 0 0 29 1 0 0 20 0 1 0 69677989 53817344 9091 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 13139 9091 1152 2752 0 9792 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52556 KiB
Current children cumulated memory: 36364 KiB
[startup+0.700119 s]
/proc/loadavg: 0.64 1.63 2.60 6/265 80741
/proc/meminfo: memFree=123567696/131250000 swapFree=33009904/33010684
[pid=80736] ppid=80724 vsize=55592 memory=39436 CPUtime=0.69 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 7506 0 0 0 68 1 0 0 20 0 1 0 69677989 56926208 9859 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 13898 9859 1152 2752 0 10551 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55592 KiB
Current children cumulated memory: 39436 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=80736] ppid=80724 vsize=302460 memory=278572 CPUtime=1.48 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 53735 0 0 0 139 9 0 0 20 0 1 0 69677989 309719040 69643 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 75615 69643 2816 2752 0 72268 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 302460 KiB
Current children cumulated memory: 278572 KiB
[startup+3.10453 s]
/proc/loadavg: 0.64 1.63 2.60 6/265 80741
/proc/meminfo: memFree=122963712/131250000 swapFree=33009904/33010684
[pid=80736] ppid=80724 vsize=320272 memory=291180 CPUtime=3.08 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 56361 0 0 0 298 10 0 0 20 0 1 0 69677989 327958528 72795 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 80068 72795 2816 2752 0 76721 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 320272 KiB
Current children cumulated memory: 291180 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=80736] ppid=80724 vsize=371924 memory=315720 CPUtime=6.27 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 61999 0 0 0 616 11 0 0 20 0 1 0 69677989 380850176 78930 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 92981 78930 2816 2752 0 89634 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 371924 KiB
Current children cumulated memory: 315720 KiB
[startup+12.7001 s]
/proc/loadavg: 1.16 1.71 2.61 5/265 80741
/proc/meminfo: memFree=122823000/131250000 swapFree=33009904/33010684
[pid=80736] ppid=80724 vsize=456776 memory=384748 CPUtime=12.66 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 78721 0 0 0 1252 14 0 0 20 0 1 0 69677989 467738624 96187 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 114194 96187 2848 2752 0 110847 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 456776 KiB
Current children cumulated memory: 384748 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=80736] ppid=80724 vsize=472600 memory=396780 CPUtime=25.41 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 81718 0 0 0 2527 14 0 0 20 0 1 0 69677989 483942400 99195 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 118150 99195 2848 2752 0 114803 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 472600 KiB
Current children cumulated memory: 396780 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=80736] ppid=80724 vsize=488568 memory=413804 CPUtime=50.95 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 85986 0 0 0 5079 16 0 0 20 0 1 0 69677989 500293632 103451 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 122142 103451 2848 2752 0 118795 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 488568 KiB
Current children cumulated memory: 413804 KiB
[startup+102.3 s]
/proc/loadavg: 3.40 2.32 2.75 6/266 80745
/proc/meminfo: memFree=122511280/131250000 swapFree=33009904/33010684
[pid=80736] ppid=80724 vsize=505432 memory=414080 CPUtime=102 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 92191 0 0 0 10183 17 0 0 20 0 1 0 69677989 517562368 103520 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 126358 103520 2848 2752 0 123011 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 505432 KiB
Current children cumulated memory: 414080 KiB
[startup+162.3 s]
/proc/loadavg: 3.82 2.65 2.84 6/265 80747
/proc/meminfo: memFree=122433836/131250000 swapFree=33009904/33010684
[pid=80736] ppid=80724 vsize=551616 memory=453464 CPUtime=161.81 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 113093 0 0 0 16160 21 0 0 20 0 1 0 69677989 564854784 113366 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 137904 113366 2848 2752 0 134557 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 551616 KiB
Current children cumulated memory: 453464 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=80736] ppid=80724 vsize=624796 memory=455616 CPUtime=221.63 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 113116 0 0 0 22142 21 0 0 20 0 1 0 69677989 639791104 113904 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 156199 113904 2848 2752 0 152852 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 624796 KiB
Current children cumulated memory: 455616 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=80736] ppid=80724 vsize=701724 memory=527740 CPUtime=281.44 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 133135 0 0 0 28120 24 0 0 20 0 1 0 69677989 718565376 131935 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 175431 131935 2848 2752 0 172084 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 701724 KiB
Current children cumulated memory: 527740 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=80736] ppid=80724 vsize=701724 memory=527868 CPUtime=341.24 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 133143 0 0 0 34100 24 0 0 20 0 1 0 69677989 718565376 131967 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 175431 131967 2848 2752 0 172084 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 701724 KiB
Current children cumulated memory: 527868 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=80736] ppid=80724 vsize=706200 memory=534472 CPUtime=401.06 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 147600 0 0 0 40079 27 0 0 20 0 1 0 69677989 723148800 133618 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 176550 133618 2848 2752 0 173203 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 706200 KiB
Current children cumulated memory: 534472 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=80736] ppid=80724 vsize=699716 memory=527996 CPUtime=460.86 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 152403 0 0 0 46058 28 0 0 20 0 1 0 69677989 716509184 131999 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 174929 131999 2848 2752 0 171582 0
Current children cumulated CPU time: 460.86 s
################
# More data... #
################
Current children cumulated memory: 602532 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=80736] ppid=80724 vsize=689844 memory=602532 CPUtime=2914.48 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 217596 0 0 0 291406 42 0 0 20 0 1 0 69677989 706400256 150633 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 172461 150633 2848 2752 0 169114 0
Current children cumulated CPU time: 2914.48 s
Current children cumulated vsize: 689844 KiB
Current children cumulated memory: 602532 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=80736] ppid=80724 vsize=689844 memory=602532 CPUtime=2974.35 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 217611 0 0 0 297393 42 0 0 20 0 1 0 69677989 706400256 150633 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 172461 150633 2848 2752 0 169114 0
Current children cumulated CPU time: 2974.35 s
Current children cumulated vsize: 689844 KiB
Current children cumulated memory: 602532 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=80736] ppid=80724 vsize=689844 memory=602532 CPUtime=3034.22 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 217611 0 0 0 303380 42 0 0 20 0 1 0 69677989 706400256 150633 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 172461 150633 2848 2752 0 169114 0
Current children cumulated CPU time: 3034.22 s
Current children cumulated vsize: 689844 KiB
Current children cumulated memory: 602532 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=80736] ppid=80724 vsize=689844 memory=602660 CPUtime=3094.1 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 217611 0 0 0 309368 42 0 0 20 0 1 0 69677989 706400256 150665 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 172461 150665 2848 2752 0 169114 0
Current children cumulated CPU time: 3094.1 s
Current children cumulated vsize: 689844 KiB
Current children cumulated memory: 602660 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=80736] ppid=80724 vsize=689844 memory=602660 CPUtime=3153.97 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 217626 0 0 0 315355 42 0 0 20 0 1 0 69677989 706400256 150665 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 172461 150665 2848 2752 0 169114 0
Current children cumulated CPU time: 3153.97 s
Current children cumulated vsize: 689844 KiB
Current children cumulated memory: 602660 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=80736] ppid=80724 vsize=689844 memory=602660 CPUtime=3213.84 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 217626 0 0 0 321342 42 0 0 20 0 1 0 69677989 706400256 150665 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 172461 150665 2848 2752 0 169114 0
Current children cumulated CPU time: 3213.84 s
Current children cumulated vsize: 689844 KiB
Current children cumulated memory: 602660 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=80736] ppid=80724 vsize=689844 memory=602660 CPUtime=3273.72 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 217641 0 0 0 327330 42 0 0 20 0 1 0 69677989 706400256 150665 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 172461 150665 2848 2752 0 169114 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 689844 KiB
Current children cumulated memory: 602660 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=80736] ppid=80724 vsize=689844 memory=602660 CPUtime=3333.59 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 217641 0 0 0 333317 42 0 0 20 0 1 0 69677989 706400256 150665 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 172461 150665 2848 2752 0 169114 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 689844 KiB
Current children cumulated memory: 602660 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=80736] ppid=80724 vsize=689844 memory=602660 CPUtime=3393.46 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 217656 0 0 0 339304 42 0 0 20 0 1 0 69677989 706400256 150665 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 172461 150665 2848 2752 0 169114 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 689844 KiB
Current children cumulated memory: 602660 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=80736] ppid=80724 vsize=689844 memory=602660 CPUtime=3453.34 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 217656 0 0 0 345292 42 0 0 20 0 1 0 69677989 706400256 150665 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 172461 150665 2848 2752 0 169114 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 689844 KiB
Current children cumulated memory: 602660 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=80736] ppid=80724 vsize=689844 memory=602660 CPUtime=3513.21 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 217656 0 0 0 351279 42 0 0 20 0 1 0 69677989 706400256 150665 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 172461 150665 2848 2752 0 169114 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 689844 KiB
Current children cumulated memory: 602660 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=80736] ppid=80724 vsize=689844 memory=602660 CPUtime=3573.08 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 217671 0 0 0 357266 42 0 0 20 0 1 0 69677989 706400256 150665 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 172461 150665 2848 2752 0 169114 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 689844 KiB
Current children cumulated memory: 602660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 80934
/proc/meminfo: memFree=122027796/131250000 swapFree=33009904/33010684
[pid=80736] ppid=80724 vsize=689844 memory=602660 CPUtime=3600.02 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 217671 0 0 0 359960 42 0 0 20 0 1 0 69677989 706400256 150665 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 172461 150665 2848 2752 0 169114 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 689844 KiB
Current children cumulated memory: 602660 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 80736 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.62 s, system=0.426712 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 80934
/proc/meminfo: memFree=122027796/131250000 swapFree=33009904/33010684
[pid=80736] ppid=80724 vsize=689844 memory=602660 CPUtime=3600.02 cores=0,2
/proc/80736/stat : 80736 (NuPBO-DeepOptS+) R 80724 80736 80672 0 -1 4194304 217671 0 0 0 359960 42 0 0 20 0 1 0 69677989 706400256 150665 18446744073709551615 4198400 15468185 140726465712016 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43704320 140726465714582 140726465714692 140726465714692 140726465720294 0
/proc/80736/statm: 172461 150665 2848 2752 0 169114 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 689844 KiB
Current children cumulated memory: 602660 KiB
Child status: 10
Real time (s): 3609.31
CPU time (s): 3600.05
CPU user time (s): 3599.62
CPU system time (s): 0.426712
CPU usage (%): 99.7433
Max. virtual memory (cumulated for all children) (KiB): 1100512
Max. memory (cumulated for all children) (KiB): 962732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.62
system time used= 0.426712
maximum resident set size= 962732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217779
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= 91
involuntary context switches= 7877
# summary of solver processes directly reported to runsolver:
# pid: 80736
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.62
# total CPU system time (s): 0.426712
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12921 second user time and 12.7254 second system time
The end
Begin job on nodeC033 at 2025-07-03 12:53:06
IDJOB=4517530
IDBENCH=176113
IDSOLVER=3343
FILE ID=nodeC033/4517530-1751539986
RUNJOBID= nodeC033-1751539986-80682
SLURM_JOB_ID= 9598699
Free space on /tmp= 429904 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=18-t=2.opb
COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517530-1751539986/watcher-4517530-1751539986 -o /tmp/evaluation-result-4517530-1751539986/solver-4517530-1751539986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751539986-80682 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4517530-1751539986.opb -t 3600 -s 2041840583
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5da417552da80e99ebaacbb86c541f7c
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.066
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 : 3600.130
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 : 3604.903
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.345
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.119
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 : 3597.930
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 : 3601.078
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.068
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: 331140 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