Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_db_no_ls 2025-06-19 | SAT (TO) | -28 | 3600.05 | 3611.31 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb |
| MD5SUM | d08022a8f602c12904bf031cb8221b8f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -35 |
| Best CPU time to get the best result obtained on this benchmark | 5.01443 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 595 |
| Total number of constraints | 27847 |
| Number of constraints which are clauses | 27847 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 595 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 595 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 595 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.10/0.17 o 0 0.10/0.17 o -1 0.10/0.17 o -2 0.10/0.17 o -3 0.20/0.24 o -11 0.20/0.24 o -12 0.20/0.24 o -13 0.20/0.24 o -14 0.20/0.24 o -15 0.20/0.24 o -16 1.09/1.12 o -17 14.05/14.12 o -18 19.74/19.88 o -22 19.74/19.88 o -23 19.74/19.88 o -24 20.23/20.39 o -25 57.03/57.27 o -26 147.70/148.15 o -27 248.50/249.20 o -28 3600.03/3611.30 c Program interrupted by user. 3600.03/3611.30 s SATISFIABLE 3600.03/3611.30 v -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 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -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 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -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 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595
OK -28
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62683 MiB free)
memory of node 1: 64507 MiB (60256 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485062-1751309419/watcher-4485062-1751309419 -o /tmp/evaluation-result-4485062-1751309419/solver-4485062-1751309419 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751302193-44635 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=210035041 --ls=0 --inp-dombreaklim=0 HOME/instance-4485062-1751309419.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=45511, runsolver pid=45508
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.17 4.12 4.10 5/263 45512
/proc/meminfo: memFree=125866944/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=59016 memory=36852 CPUtime=0.1 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 8436 0 0 0 9 1 0 0 20 0 1 0 46619672 60432384 9213 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 14754 9213 1184 1200 0 13234 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 59016 KiB
Current children cumulated memory: 36852 KiB
[startup+0.205519 s]*
/proc/loadavg: 4.17 4.12 4.10 5/263 45512
/proc/meminfo: memFree=125866944/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=59016 memory=39612 CPUtime=0.2 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 8501 0 0 0 19 1 0 0 20 0 1 0 46619672 60432384 9903 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 14754 9903 1280 1200 0 13234 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59016 KiB
Current children cumulated memory: 39612 KiB
[startup+0.305459 s]*
/proc/loadavg: 4.17 4.12 4.10 5/263 45512
/proc/meminfo: memFree=125866944/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=59016 memory=39612 CPUtime=0.3 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 8501 0 0 0 29 1 0 0 20 0 1 0 46619672 60432384 9903 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 14754 9903 1280 1200 0 13234 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59016 KiB
Current children cumulated memory: 39612 KiB
[startup+0.700173 s]
/proc/loadavg: 4.17 4.12 4.10 5/263 45512
/proc/meminfo: memFree=125862848/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=59016 memory=43708 CPUtime=0.69 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 8503 0 0 0 68 1 0 0 20 0 1 0 46619672 60432384 10927 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 14754 10927 1280 1200 0 13234 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59016 KiB
Current children cumulated memory: 43708 KiB
[startup+1.50017 s]
/proc/loadavg: 4.17 4.12 4.10 5/263 45512
/proc/meminfo: memFree=125850688/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=63812 memory=52524 CPUtime=1.48 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 9685 0 0 0 147 1 0 0 20 0 1 0 46619672 65343488 13131 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 15953 13131 1280 1200 0 14433 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63812 KiB
Current children cumulated memory: 52524 KiB
[startup+3.10525 s]
/proc/loadavg: 4.16 4.12 4.09 5/259 45572
/proc/meminfo: memFree=126483648/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=78600 memory=62080 CPUtime=3.09 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 10799 0 0 0 307 2 0 0 20 0 1 0 46619672 80486400 15520 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 19650 15520 1280 1200 0 18130 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 78600 KiB
Current children cumulated memory: 62080 KiB
[startup+6.30015 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 45603
/proc/meminfo: memFree=126408696/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=88636 memory=78736 CPUtime=6.27 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 12917 0 0 0 623 4 0 0 20 0 1 0 46619672 90763264 19684 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 22159 19684 1280 1200 0 20639 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 88636 KiB
Current children cumulated memory: 78736 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 45648
/proc/meminfo: memFree=126255992/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=92568 memory=84236 CPUtime=12.65 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 13809 0 0 0 1261 4 0 0 20 0 1 0 46619672 94789632 21059 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 23142 21059 1280 1200 0 21622 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 92568 KiB
Current children cumulated memory: 84236 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 45651
/proc/meminfo: memFree=125545400/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=125756 memory=99928 CPUtime=25.42 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 16589 0 0 0 2535 7 0 0 20 0 1 0 46619672 128774144 24982 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 31439 24982 1280 1200 0 29919 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 125756 KiB
Current children cumulated memory: 99928 KiB
[startup+51.1055 s]
/proc/loadavg: 4.42 4.18 4.12 5/265 45651
/proc/meminfo: memFree=124260472/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=134544 memory=110980 CPUtime=50.95 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 18838 0 0 0 5085 10 0 0 20 0 1 0 46619672 137773056 27745 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 33636 27745 1280 1200 0 32116 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 134544 KiB
Current children cumulated memory: 110980 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.16 4.11 5/265 45653
/proc/meminfo: memFree=123678156/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=141772 memory=118404 CPUtime=102.01 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 20732 0 0 0 10184 17 0 0 20 0 1 0 46619672 145174528 29601 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 35443 29601 1280 1200 0 33923 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 141772 KiB
Current children cumulated memory: 118404 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/267 45659
/proc/meminfo: memFree=121537584/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=145336 memory=121604 CPUtime=161.86 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 21558 0 0 0 16161 25 0 0 20 0 1 0 46619672 148824064 30401 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 36334 30401 1280 1200 0 34814 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 145336 KiB
Current children cumulated memory: 121604 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/267 45665
/proc/meminfo: memFree=119994000/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=147768 memory=128728 CPUtime=221.7 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 22345 0 0 0 22138 32 0 0 20 0 1 0 46619672 151314432 32182 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 36942 32182 1280 1200 0 35422 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 147768 KiB
Current children cumulated memory: 128728 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.12 4.09 5/267 45667
/proc/meminfo: memFree=118784392/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=149248 memory=132312 CPUtime=281.52 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 22772 0 0 0 28112 40 0 0 20 0 1 0 46619672 152829952 33078 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 37312 33078 1280 1200 0 35792 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 149248 KiB
Current children cumulated memory: 132312 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 45669
/proc/meminfo: memFree=118111996/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=153292 memory=136280 CPUtime=341.36 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 23785 0 0 0 34087 49 0 0 20 0 1 0 46619672 156971008 34070 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 38323 34070 1280 1200 0 36803 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 153292 KiB
Current children cumulated memory: 136280 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 45671
/proc/meminfo: memFree=117822792/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=154756 memory=137816 CPUtime=401.2 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 24171 0 0 0 40063 57 0 0 20 0 1 0 46619672 158470144 34454 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 38689 34454 1280 1200 0 37169 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 154756 KiB
Current children cumulated memory: 137816 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 45674
/proc/meminfo: memFree=116847720/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=156156 memory=139224 CPUtime=461.05 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 24521 0 0 0 46041 64 0 0 20 0 1 0 46619672 159903744 34806 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
################
# More data... #
################
Current children cumulated memory: 194188 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.11 4.10 5/265 45849
/proc/meminfo: memFree=107805668/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=234740 memory=194444 CPUtime=2913.28 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 34926 0 0 0 290972 356 0 0 20 0 1 0 46619672 240373760 48611 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 58685 48611 1280 1200 0 57165 0
Current children cumulated CPU time: 2913.28 s
Current children cumulated vsize: 234740 KiB
Current children cumulated memory: 194444 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 45851
/proc/meminfo: memFree=107607592/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=235384 memory=195084 CPUtime=2973.08 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 35087 0 0 0 296945 363 0 0 20 0 1 0 46619672 241033216 48771 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 58846 48771 1280 1200 0 57326 0
Current children cumulated CPU time: 2973.08 s
Current children cumulated vsize: 235384 KiB
Current children cumulated memory: 195084 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 45853
/proc/meminfo: memFree=107601136/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=235588 memory=195212 CPUtime=3032.88 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 35138 0 0 0 302919 369 0 0 20 0 1 0 46619672 241242112 48803 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 58897 48803 1280 1200 0 57377 0
Current children cumulated CPU time: 3032.88 s
Current children cumulated vsize: 235588 KiB
Current children cumulated memory: 195212 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 45855
/proc/meminfo: memFree=107628524/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=235932 memory=195596 CPUtime=3092.69 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 35225 0 0 0 308894 375 0 0 20 0 1 0 46619672 241594368 48899 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 58983 48899 1280 1200 0 57463 0
Current children cumulated CPU time: 3092.69 s
Current children cumulated vsize: 235932 KiB
Current children cumulated memory: 195596 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 45861
/proc/meminfo: memFree=107649244/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=237096 memory=196748 CPUtime=3152.5 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 35540 0 0 0 314869 381 0 0 20 0 1 0 46619672 242786304 49187 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 59274 49187 1280 1200 0 57754 0
Current children cumulated CPU time: 3152.5 s
Current children cumulated vsize: 237096 KiB
Current children cumulated memory: 196748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 45868
/proc/meminfo: memFree=107610504/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=237380 memory=197004 CPUtime=3212.3 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 35608 0 0 0 320843 387 0 0 20 0 1 0 46619672 243077120 49251 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 59345 49251 1280 1200 0 57825 0
Current children cumulated CPU time: 3212.3 s
Current children cumulated vsize: 237380 KiB
Current children cumulated memory: 197004 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 45870
/proc/meminfo: memFree=107613392/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=237640 memory=197260 CPUtime=3272.11 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 35674 0 0 0 326817 394 0 0 20 0 1 0 46619672 243343360 49315 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 59410 49315 1280 1200 0 57890 0
Current children cumulated CPU time: 3272.11 s
Current children cumulated vsize: 237640 KiB
Current children cumulated memory: 197260 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 45872
/proc/meminfo: memFree=107591720/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=237640 memory=197260 CPUtime=3331.91 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 35674 0 0 0 332790 401 0 0 20 0 1 0 46619672 243343360 49315 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 59410 49315 1280 1200 0 57890 0
Current children cumulated CPU time: 3331.91 s
Current children cumulated vsize: 237640 KiB
Current children cumulated memory: 197260 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 45874
/proc/meminfo: memFree=107584504/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=237640 memory=197260 CPUtime=3391.72 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 35674 0 0 0 338765 407 0 0 20 0 1 0 46619672 243343360 49315 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 59410 49315 1280 1200 0 57890 0
Current children cumulated CPU time: 3391.72 s
Current children cumulated vsize: 237640 KiB
Current children cumulated memory: 197260 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 45876
/proc/meminfo: memFree=107576100/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=237820 memory=197516 CPUtime=3451.52 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 35738 0 0 0 344740 412 0 0 20 0 1 0 46619672 243527680 49379 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 59455 49379 1280 1200 0 57935 0
Current children cumulated CPU time: 3451.52 s
Current children cumulated vsize: 237820 KiB
Current children cumulated memory: 197516 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 45878
/proc/meminfo: memFree=107592428/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=238040 memory=197644 CPUtime=3511.33 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 35796 0 0 0 350714 419 0 0 20 0 1 0 46619672 243752960 49411 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 59510 49411 1280 1200 0 57990 0
Current children cumulated CPU time: 3511.33 s
Current children cumulated vsize: 238040 KiB
Current children cumulated memory: 197644 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 45879
/proc/meminfo: memFree=107575684/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=238420 memory=198028 CPUtime=3571.13 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 35894 0 0 0 356687 426 0 0 20 0 1 0 46619672 244142080 49507 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 59605 49507 1280 1200 0 58085 0
Current children cumulated CPU time: 3571.13 s
Current children cumulated vsize: 238420 KiB
Current children cumulated memory: 198028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 45880
/proc/meminfo: memFree=107567160/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=238804 memory=198412 CPUtime=3600.03 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 35990 0 0 0 359574 429 0 0 20 0 1 0 46619672 244535296 49603 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 59701 49603 1280 1200 0 58181 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 238804 KiB
Current children cumulated memory: 198412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.31 s]
# the end of solver process 45511 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3595.75 s, system=4.29787 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 45880
/proc/meminfo: memFree=107567160/131249996 swapFree=33010684/33010684
[pid=45511] ppid=45508 vsize=238804 memory=198412 CPUtime=3600.03 cores=0,2
/proc/45511/stat : 45511 (Exact) R 45508 45511 44625 0 -1 4194304 35990 0 0 0 359574 429 0 0 20 0 1 0 46619672 244535296 49603 18446744073709551615 4198400 9112445 140723492220288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20643840 140723492227369 140723492227565 140723492227565 140723492233167 0
/proc/45511/statm: 59701 49603 1280 1200 0 58181 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 238804 KiB
Current children cumulated memory: 198412 KiB
Child status: 10
Real time (s): 3611.31
CPU time (s): 3600.05
CPU user time (s): 3595.75
CPU system time (s): 4.29787
CPU usage (%): 99.6883
Max. virtual memory (cumulated for all children) (KiB): 238804
Max. memory (cumulated for all children) (KiB): 198412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.75
system time used= 4.29787
maximum resident set size= 221560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35994
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= 37
involuntary context switches= 4809
# summary of solver processes directly reported to runsolver:
# pid: 45511
# total CPU time (s): 3600.05
# total CPU user time (s): 3595.75
# total CPU system time (s): 4.29787
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58951 second user time and 15.6404 second system time
The end
Begin job on nodeC017 at 2025-06-30 20:50:19 IDJOB=4485062 IDBENCH=146693 IDSOLVER=3318 FILE ID=nodeC017/4485062-1751309419 RUNJOBID= nodeC017-1751302193-44635 SLURM_JOB_ID= 9594283 Free space on /tmp= 432988 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485062-1751309419/watcher-4485062-1751309419 -o /tmp/evaluation-result-4485062-1751309419/solver-4485062-1751309419 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751302193-44635 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=210035041 --ls=0 --inp-dombreaklim=0 HOME/instance-4485062-1751309419.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d08022a8f602c12904bf031cb8221b8f RANDOM SEED=210035041 nodeC017 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 : 3535.266 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.12 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.056 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.12 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 : 3600.066 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.12 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.515 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.12 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.059 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.12 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 : 3600.064 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.12 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 : 3461.823 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.12 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.466 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.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 125890760 kB MemAvailable: 128745444 kB Buffers: 2380 kB Cached: 3625756 kB SwapCached: 0 kB Active: 1359280 kB Inactive: 3320212 kB Active(anon): 1069424 kB Inactive(anon): 12 kB Active(file): 289856 kB Inactive(file): 3320200 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 7780 kB Writeback: 0 kB AnonPages: 1054428 kB Mapped: 118744 kB Shmem: 18080 kB KReclaimable: 167336 kB Slab: 256332 kB SReclaimable: 167336 kB SUnreclaim: 88996 kB KernelStack: 4256 kB PageTables: 5008 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1515064 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 964608 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: 176852 kB DirectMap2M: 6934528 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432976 MiB End job on nodeC017 at 2025-06-30 21:50:31