Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR 2025-06-01 | SAT (TO) | -35 | 3600.02 | 3608.81 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb |
| MD5SUM | e50abc2725c4e3a238fbda7c772437b2 |
| 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 | 2.90628 |
| 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 | 27931 |
| Number of constraints which are clauses | 27931 |
| 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.08/0.16 c 27931 constraints 0.08/0.16 c after presolve 28267 0.08/0.17 c Finish cloning data from SAT to LS 0.08/0.17 c intsize: 10 60.05/60.30 c Use LS-small 60.05/60.30 o 0 60.05/60.30 o -1 60.05/60.30 o -2 60.05/60.30 o -3 60.05/60.30 o -4 60.05/60.30 o -5 60.05/60.30 o -6 60.05/60.30 o -7 60.05/60.30 o -8 60.05/60.30 o -9 60.05/60.30 o -10 60.05/60.30 o -11 60.05/60.30 o -12 60.05/60.30 o -13 60.05/60.30 o -14 60.05/60.30 o -15 60.05/60.30 o -16 60.05/60.30 o -17 60.05/60.30 o -18 60.05/60.30 o -19 60.05/60.30 o -20 60.05/60.30 o -21 60.05/60.30 o -22 60.05/60.30 o -23 60.05/60.30 o -24 60.05/60.30 o -25 60.05/60.30 o -26 60.05/60.30 o -27 60.05/60.30 o -28 60.05/60.30 o -29 60.05/60.30 o -30 60.05/60.30 o -31 60.05/60.30 o -32 60.05/60.30 o -33 60.05/60.30 o -35 60.05/60.30 c SAT by LS-small 60.05/60.30 o -35 3600.01/3608.80 c Program interrupted by user. 3600.01/3608.80 s SATISFIABLE 3600.01/3608.80 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 -35
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 (62960 MiB free)
memory of node 1: 64507 MiB (63434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485021-1751302794/watcher-4485021-1751302794 -o /tmp/evaluation-result-4485021-1751302794/solver-4485021-1751302794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751302794-46547 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4485021-1751302794.opb
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=46600, runsolver pid=46589
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 0.87 1.04 1.48 5/264 46605
/proc/meminfo: memFree=129386932/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=67100 memory=28304 CPUtime=0.08 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 4938 0 0 0 7 1 0 0 20 0 1 0 45957309 68710400 7076 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 16775 7076 1792 2271 0 11413 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67100 KiB
Current children cumulated memory: 28304 KiB
[startup+0.205604 s]*
/proc/loadavg: 0.87 1.04 1.48 6/264 46605
/proc/meminfo: memFree=129301564/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=77104 memory=38452 CPUtime=0.19 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 8209 0 0 0 17 2 0 0 20 0 1 0 45957309 78954496 9613 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 19276 9613 1920 2271 0 13914 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77104 KiB
Current children cumulated memory: 38452 KiB
[startup+0.305631 s]*
/proc/loadavg: 0.87 1.04 1.48 5/264 46605
/proc/meminfo: memFree=129308368/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=77104 memory=38452 CPUtime=0.29 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 8209 0 0 0 26 3 0 0 20 0 1 0 45957309 78954496 9613 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 19276 9613 1920 2271 0 13914 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77104 KiB
Current children cumulated memory: 38452 KiB
[startup+0.700132 s]
/proc/loadavg: 0.87 1.04 1.48 5/264 46605
/proc/meminfo: memFree=129292796/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=77104 memory=38452 CPUtime=0.67 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 8209 0 0 0 63 4 0 0 20 0 1 0 45957309 78954496 9613 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 19276 9613 1920 2271 0 13914 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 77104 KiB
Current children cumulated memory: 38452 KiB
[startup+1.50017 s]
/proc/loadavg: 0.87 1.04 1.48 5/264 46605
/proc/meminfo: memFree=129292896/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=77104 memory=38452 CPUtime=1.47 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 8209 0 0 0 141 6 0 0 20 0 1 0 45957309 78954496 9613 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 19276 9613 1920 2271 0 13914 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 77104 KiB
Current children cumulated memory: 38452 KiB
[startup+3.10535 s]
/proc/loadavg: 0.87 1.04 1.48 5/264 46605
/proc/meminfo: memFree=129292896/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=77104 memory=38452 CPUtime=3.07 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 8209 0 0 0 296 11 0 0 20 0 1 0 45957309 78954496 9613 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 19276 9613 1920 2271 0 13914 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 77104 KiB
Current children cumulated memory: 38452 KiB
[startup+6.30014 s]
/proc/loadavg: 1.12 1.09 1.50 5/264 46605
/proc/meminfo: memFree=129293416/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=77104 memory=38452 CPUtime=6.26 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 8209 0 0 0 607 19 0 0 20 0 1 0 45957309 78954496 9613 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 19276 9613 1920 2271 0 13914 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 77104 KiB
Current children cumulated memory: 38452 KiB
[startup+12.7001 s]
/proc/loadavg: 1.35 1.14 1.51 5/264 46605
/proc/meminfo: memFree=129293480/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=77104 memory=38452 CPUtime=12.64 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 8209 0 0 0 1228 36 0 0 20 0 1 0 45957309 78954496 9613 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 19276 9613 1920 2271 0 13914 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 77104 KiB
Current children cumulated memory: 38452 KiB
[startup+25.5001 s]
/proc/loadavg: 1.94 1.28 1.55 5/265 46607
/proc/meminfo: memFree=129293360/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=77104 memory=38452 CPUtime=25.42 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 8209 0 0 0 2473 69 0 0 20 0 1 0 45957309 78954496 9613 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 19276 9613 1920 2271 0 13914 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 77104 KiB
Current children cumulated memory: 38452 KiB
[startup+51.1052 s]
/proc/loadavg: 2.72 1.52 1.62 5/265 46607
/proc/meminfo: memFree=129293560/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=77104 memory=38452 CPUtime=50.97 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 8209 0 0 0 4963 134 0 0 20 0 1 0 45957309 78954496 9613 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 19276 9613 1920 2271 0 13914 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 77104 KiB
Current children cumulated memory: 38452 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 1.92 1.75 5/266 46627
/proc/meminfo: memFree=129071984/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=107656 memory=82252 CPUtime=102.05 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 12805 0 0 0 10045 160 0 0 20 0 1 0 45957309 110239744 20563 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 26914 20563 1920 2271 0 21552 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 107656 KiB
Current children cumulated memory: 82252 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.31 1.90 5/266 46629
/proc/meminfo: memFree=129052648/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=135312 memory=95180 CPUtime=161.9 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 14378 0 0 0 16024 166 0 0 20 0 1 0 45957309 138559488 23795 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 33828 23795 1920 2271 0 28466 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 135312 KiB
Current children cumulated memory: 95180 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.64 2.04 5/267 46633
/proc/meminfo: memFree=129024924/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=138668 memory=98636 CPUtime=221.76 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 15264 0 0 0 22004 172 0 0 20 0 1 0 45957309 141996032 24659 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 34667 24659 1920 2271 0 29305 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 138668 KiB
Current children cumulated memory: 98636 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.91 2.17 5/267 46635
/proc/meminfo: memFree=129005820/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=142616 memory=105932 CPUtime=281.6 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 16276 0 0 0 27982 178 0 0 20 0 1 0 45957309 146038784 26483 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 35654 26483 1920 2271 0 30292 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 142616 KiB
Current children cumulated memory: 105932 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.12 2.29 5/266 46637
/proc/meminfo: memFree=128967000/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=147928 memory=117656 CPUtime=341.45 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 17621 0 0 0 33960 185 0 0 20 0 1 0 45957309 151478272 29414 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 36982 29414 1920 2271 0 31620 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 147928 KiB
Current children cumulated memory: 117656 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.32 2.41 5/264 46639
/proc/meminfo: memFree=128944580/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=155236 memory=124440 CPUtime=401.27 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 19345 0 0 0 39935 192 0 0 20 0 1 0 45957309 158961664 31110 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 38809 31110 1920 2271 0 33447 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 155236 KiB
Current children cumulated memory: 124440 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 3.44 2.52 5/265 46642
/proc/meminfo: memFree=128909088/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=160084 memory=129304 CPUtime=461.09 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 20546 0 0 0 45910 199 0 0 20 0 1 0 45957309 163926016 32326 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 40021 32326 1920 2271 0 34659 0
################
# More data... #
################
Current children cumulated memory: 195320 KiB
[startup+2862.3 s]
/proc/loadavg: 4.06 4.08 4.00 5/265 46765
/proc/meminfo: memFree=128580540/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=219604 memory=195320 CPUtime=2855.25 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 35257 0 0 0 285041 484 0 0 20 0 1 0 45957309 224874496 48830 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 54901 48830 1920 2271 0 49539 0
Current children cumulated CPU time: 2855.25 s
Current children cumulated vsize: 219604 KiB
Current children cumulated memory: 195320 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/265 46767
/proc/meminfo: memFree=128580472/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=221072 memory=196728 CPUtime=2915.11 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 35606 0 0 0 291020 491 0 0 20 0 1 0 45957309 226377728 49182 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 55268 49182 1920 2271 0 49906 0
Current children cumulated CPU time: 2915.11 s
Current children cumulated vsize: 221072 KiB
Current children cumulated memory: 196728 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.10 4.02 5/264 46769
/proc/meminfo: memFree=128577952/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=221804 memory=197496 CPUtime=2974.98 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 35795 0 0 0 296999 499 0 0 20 0 1 0 45957309 227127296 49374 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 55451 49374 1920 2271 0 50089 0
Current children cumulated CPU time: 2974.98 s
Current children cumulated vsize: 221804 KiB
Current children cumulated memory: 197496 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/264 46771
/proc/meminfo: memFree=128578508/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=222136 memory=197752 CPUtime=3034.83 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 35874 0 0 0 302977 506 0 0 20 0 1 0 45957309 227467264 49438 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 55534 49438 1920 2271 0 50172 0
Current children cumulated CPU time: 3034.83 s
Current children cumulated vsize: 222136 KiB
Current children cumulated memory: 197752 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.08 4.01 5/265 46780
/proc/meminfo: memFree=128571000/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=223256 memory=198904 CPUtime=3094.69 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 36153 0 0 0 308956 513 0 0 20 0 1 0 45957309 228614144 49726 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 55814 49726 1920 2271 0 50452 0
Current children cumulated CPU time: 3094.69 s
Current children cumulated vsize: 223256 KiB
Current children cumulated memory: 198904 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/264 46783
/proc/meminfo: memFree=128570824/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=225364 memory=201080 CPUtime=3154.55 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 36684 0 0 0 314935 520 0 0 20 0 1 0 45957309 230772736 50270 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 56341 50270 1920 2271 0 50979 0
Current children cumulated CPU time: 3154.55 s
Current children cumulated vsize: 225364 KiB
Current children cumulated memory: 201080 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/264 46785
/proc/meminfo: memFree=128573004/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=225972 memory=201592 CPUtime=3214.42 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 36831 0 0 0 320915 527 0 0 20 0 1 0 45957309 231395328 50398 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 56493 50398 1920 2271 0 51131 0
Current children cumulated CPU time: 3214.42 s
Current children cumulated vsize: 225972 KiB
Current children cumulated memory: 201592 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/264 46787
/proc/meminfo: memFree=128564280/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=227564 memory=203256 CPUtime=3274.28 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 37224 0 0 0 326894 534 0 0 20 0 1 0 45957309 233025536 50814 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 56891 50814 1920 2271 0 51529 0
Current children cumulated CPU time: 3274.28 s
Current children cumulated vsize: 227564 KiB
Current children cumulated memory: 203256 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/264 46789
/proc/meminfo: memFree=128564356/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=227972 memory=203896 CPUtime=3334.14 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 37338 0 0 0 332872 542 0 0 20 0 1 0 45957309 233443328 50974 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 56993 50974 1920 2271 0 51631 0
Current children cumulated CPU time: 3334.14 s
Current children cumulated vsize: 227972 KiB
Current children cumulated memory: 203896 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/263 46791
/proc/meminfo: memFree=128564496/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=228832 memory=204792 CPUtime=3393.99 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 37554 0 0 0 338849 550 0 0 20 0 1 0 45957309 234323968 51198 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 57208 51198 1920 2271 0 51846 0
Current children cumulated CPU time: 3393.99 s
Current children cumulated vsize: 228832 KiB
Current children cumulated memory: 204792 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/263 46794
/proc/meminfo: memFree=128556132/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=232440 memory=207992 CPUtime=3453.85 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 38364 0 0 0 344826 559 0 0 20 0 1 0 45957309 238018560 51998 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 58110 51998 1920 2271 0 52748 0
Current children cumulated CPU time: 3453.85 s
Current children cumulated vsize: 232440 KiB
Current children cumulated memory: 207992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/264 46797
/proc/meminfo: memFree=128555832/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=233428 memory=209016 CPUtime=3513.71 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 38611 0 0 0 350803 568 0 0 20 0 1 0 45957309 239030272 52254 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 58357 52254 1920 2271 0 52995 0
Current children cumulated CPU time: 3513.71 s
Current children cumulated vsize: 233428 KiB
Current children cumulated memory: 209016 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/265 46799
/proc/meminfo: memFree=128555396/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=235572 memory=211192 CPUtime=3573.57 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 39147 0 0 0 356784 573 0 0 20 0 1 0 45957309 241225728 52798 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 58893 52798 1920 2271 0 53531 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 235572 KiB
Current children cumulated memory: 211192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.09 4.08 4.02 5/265 46801
/proc/meminfo: memFree=128539760/131249996 swapFree=33010684/33010684
[pid=46600] ppid=46589 vsize=236048 memory=211576 CPUtime=3600.01 cores=1,3
/proc/46600/stat : 46600 (ExactPR) R 46589 46600 46535 0 -1 4194304 39267 0 0 0 359423 578 0 0 20 0 1 0 45957309 241713152 52894 18446744073709551615 94549905473536 94549914773381 140726790037264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94549916559680 94549916598760 94549953638400 140726790039941 140726790040076 140726790040076 140726790045678 0
/proc/46600/statm: 59012 52894 1920 2271 0 53650 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 236048 KiB
Current children cumulated memory: 211576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.8 s]
# the end of solver process 46600 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3594.24 s, system=5.7824 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3608.81
CPU time (s): 3600.02
CPU user time (s): 3594.24
CPU system time (s): 5.7824
CPU usage (%): 99.7566
Max. virtual memory (cumulated for all children) (KiB): 236048
Max. memory (cumulated for all children) (KiB): 211576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.24
system time used= 5.7824
maximum resident set size= 211960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39282
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= 228
involuntary context switches= 2843
# summary of solver processes directly reported to runsolver:
# pid: 46600
# total CPU time (s): 3600.02
# total CPU user time (s): 3594.24
# total CPU system time (s): 5.7824
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99317 second user time and 15.6771 second system time
The end
Begin job on nodeC024 at 2025-06-30 18:59:54 IDJOB=4485021 IDBENCH=146691 IDSOLVER=3324 FILE ID=nodeC024/4485021-1751302794 RUNJOBID= nodeC024-1751302794-46547 SLURM_JOB_ID= 9594287 Free space on /tmp= 433056 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485021-1751302794/watcher-4485021-1751302794 -o /tmp/evaluation-result-4485021-1751302794/solver-4485021-1751302794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751302794-46547 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4485021-1751302794.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e50abc2725c4e3a238fbda7c772437b2 RANDOM SEED=317307675 nodeC024 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 : 3601.192 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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.591 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3599.812 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.668 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3599.723 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3599.678 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3604.070 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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.300 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129422912 kB MemAvailable: 129753480 kB Buffers: 3280 kB Cached: 1136596 kB SwapCached: 0 kB Active: 320896 kB Inactive: 881060 kB Active(anon): 80192 kB Inactive(anon): 0 kB Active(file): 240704 kB Inactive(file): 881060 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 51460 kB Writeback: 4 kB AnonPages: 65288 kB Mapped: 102968 kB Shmem: 18064 kB KReclaimable: 95684 kB Slab: 183524 kB SReclaimable: 95684 kB SUnreclaim: 87840 kB KernelStack: 4048 kB PageTables: 2804 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 329936 kB VmallocTotal: 34359738367 kB VmallocUsed: 150360 kB VmallocChunk: 0 kB Percpu: 3808 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: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 433008 MiB End job on nodeC024 at 2025-06-30 20:00:03