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) | -255 | 3600.1 | 3609.41 |
| Name | PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/ instances/normalized-QPLIB_3877.opb |
| MD5SUM | 2da2e651da52fe2a5e7f901cf56b111b |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -300 |
| Best CPU time to get the best result obtained on this benchmark | 3587.03 |
| 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 | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| 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 | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 1608 |
| Biggest coefficient in the objective function | 2 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 1732 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1732 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 1224 |
| Sum of products size (including duplicates) | 2448 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.03 o 0 0.00/0.03 o -1 0.00/0.03 o -3 0.00/0.03 o -35 0.00/0.04 o -56 0.00/0.04 o -82 0.00/0.04 o -93 0.00/0.04 o -107 0.00/0.04 o -134 0.00/0.04 o -135 0.00/0.05 o -136 0.00/0.05 o -151 0.09/0.10 o -185 0.09/0.11 o -186 0.09/0.11 o -187 0.09/0.12 o -188 0.09/0.13 o -189 0.09/0.16 o -190 0.99/1.09 o -191 2.88/2.95 o -192 9.07/9.11 o -193 14.35/14.46 o -194 14.55/14.65 o -195 14.65/14.71 o -196 14.65/14.77 o -197 14.75/14.84 o -198 14.85/14.94 o -199 14.96/15.04 o -200 15.05/15.16 o -201 15.15/15.26 o -202 15.45/15.50 o -203 15.65/15.71 o -204 15.95/16.03 o -205 38.49/38.68 o -206 38.59/38.79 o -207 38.79/38.95 o -208 38.99/39.13 o -209 39.08/39.23 o -210 39.28/39.43 o -211 39.49/39.62 o -212 39.59/39.72 o -213 39.79/39.92 o -214 39.99/40.18 o -215 40.28/40.44 o -216 40.58/40.74 o -217 40.89/41.01 o -218 41.08/41.29 o -219 41.38/41.50 o -220 41.58/41.74 o -221 41.78/41.97 o -222 41.88/42.09 o -223 42.17/42.36 o -224 44.07/44.22 o -225 44.37/44.56 o -226 44.67/44.87 o -227 45.07/45.27 o -228 45.16/45.37 o -229 45.36/45.59 o -230 45.66/45.82 o -231 45.76/45.93 o -232 45.98/46.18 o -233 46.17/46.39 o -234 46.37/46.57 o -235 46.57/46.76 o -236 46.87/47.01 o -237 47.17/47.38 o -238 47.56/47.70 o -239 47.86/48.10 o -240 48.36/48.51 o -241 48.76/48.91 o -242 49.06/49.28 o -243 174.54/175.00 o -244 175.13/175.67 o -245 375.51/376.53 o -246 376.31/377.32 o -247 376.50/377.51 o -248 377.20/378.20 o -249 777.56/779.63 o -250 777.66/779.73 o -251 777.86/779.93 o -252 2539.57/2546.21 o -253 2539.86/2546.51 o -254 2539.96/2546.63 o -255 3600.09/3609.40 c Program interrupted by user. 3600.09/3609.40 s SATISFIABLE 3600.09/3609.40 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 -x596 -x597 x598 x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 x607 x608 x609 x610 -x611 x612 -x613 -x614 -x615 -x616 x617 x618 -x619 x620 -x621 -x622 -x623 x624 x625 -x626 -x627 -x628 -x629 x630
OK -255
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 (62822 MiB free)
memory of node 1: 64507 MiB (63931 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524408-1751275469/watcher-4524408-1751275469 -o /tmp/evaluation-result-4524408-1751275469/solver-4524408-1751275469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751275466-36814 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2034931740 --ls=0 --inp-dombreaklim=0 HOME/instance-4524408-1751275469.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
solver pid=36917, runsolver pid=36914
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.32 1.13 1.21 5/264 36918
/proc/meminfo: memFree=129791656/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=38580 memory=19148 CPUtime=0.09 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 3401 0 0 0 9 0 0 0 20 0 1 0 43225723 39505920 4787 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 9645 4787 1280 1200 0 8125 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38580 KiB
Current children cumulated memory: 19148 KiB
[startup+0.205429 s]*
/proc/loadavg: 1.32 1.13 1.21 5/264 36918
/proc/meminfo: memFree=129758260/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=40824 memory=21324 CPUtime=0.2 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 3941 0 0 0 20 0 0 0 20 0 1 0 43225723 41803776 5331 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 10206 5331 1280 1200 0 8686 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40824 KiB
Current children cumulated memory: 21324 KiB
[startup+0.305337 s]*
/proc/loadavg: 1.32 1.13 1.21 5/264 36918
/proc/meminfo: memFree=129752464/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=42360 memory=24840 CPUtime=0.3 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 4321 0 0 0 29 1 0 0 20 0 1 0 43225723 43376640 6210 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 10590 6210 1280 1200 0 9070 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42360 KiB
Current children cumulated memory: 24840 KiB
[startup+0.700164 s]
/proc/loadavg: 1.32 1.13 1.21 5/264 36918
/proc/meminfo: memFree=129740304/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=46648 memory=31116 CPUtime=0.68 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 5378 0 0 0 67 1 0 0 20 0 1 0 43225723 47767552 7779 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 11662 7779 1280 1200 0 10142 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46648 KiB
Current children cumulated memory: 31116 KiB
[startup+1.50016 s]
/proc/loadavg: 1.32 1.13 1.21 5/264 36918
/proc/meminfo: memFree=129720400/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=58788 memory=50584 CPUtime=1.49 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 8214 0 0 0 147 2 0 0 20 0 1 0 43225723 60198912 12646 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 14697 12646 1280 1200 0 13177 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 58788 KiB
Current children cumulated memory: 50584 KiB
[startup+3.10529 s]
/proc/loadavg: 1.32 1.13 1.21 5/264 36918
/proc/meminfo: memFree=129552984/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=111092 memory=82304 CPUtime=3.09 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 13190 0 0 0 305 4 0 0 20 0 1 0 43225723 113758208 20576 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 27773 20576 1280 1200 0 26253 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 111092 KiB
Current children cumulated memory: 82304 KiB
[startup+6.30015 s]
/proc/loadavg: 1.53 1.18 1.22 5/264 36918
/proc/meminfo: memFree=129533012/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=135448 memory=109408 CPUtime=6.27 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 17944 0 0 0 621 6 0 0 20 0 1 0 43225723 138698752 27352 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 33862 27352 1280 1200 0 32342 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 135448 KiB
Current children cumulated memory: 109408 KiB
[startup+12.7002 s]
/proc/loadavg: 1.81 1.24 1.25 5/264 36918
/proc/meminfo: memFree=129461432/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=202608 memory=163768 CPUtime=12.66 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 24821 0 0 0 1254 12 0 0 20 0 1 0 43225723 207470592 40942 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 50652 40942 1280 1200 0 49132 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 202608 KiB
Current children cumulated memory: 163768 KiB
[startup+25.5002 s]
/proc/loadavg: 2.30 1.38 1.29 5/264 36918
/proc/meminfo: memFree=129433636/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=257216 memory=222168 CPUtime=25.42 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 35362 0 0 0 2523 19 0 0 20 0 1 0 43225723 263389184 55542 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 64304 55542 1280 1200 0 62784 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 257216 KiB
Current children cumulated memory: 222168 KiB
[startup+51.1053 s]
/proc/loadavg: 2.88 1.59 1.36 5/264 36918
/proc/meminfo: memFree=129349260/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=351824 memory=257532 CPUtime=50.96 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 40786 0 0 0 5067 29 0 0 20 0 1 0 43225723 360267776 64383 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 87956 64383 1280 1200 0 86436 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 351824 KiB
Current children cumulated memory: 257532 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 1.98 1.51 5/263 36920
/proc/meminfo: memFree=129304140/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=358032 memory=268540 CPUtime=102.02 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 43609 0 0 0 10153 49 0 0 20 0 1 0 43225723 366624768 67135 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 89508 67135 1280 1200 0 87988 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 358032 KiB
Current children cumulated memory: 268540 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.37 1.67 5/264 36929
/proc/meminfo: memFree=129279544/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=363572 memory=274044 CPUtime=161.87 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 45047 0 0 0 16116 71 0 0 20 0 1 0 43225723 372297728 68511 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 90893 68511 1280 1200 0 89373 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 363572 KiB
Current children cumulated memory: 274044 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.68 1.83 5/265 36932
/proc/meminfo: memFree=129268164/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=368244 memory=278908 CPUtime=221.72 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 46303 0 0 0 22082 90 0 0 20 0 1 0 43225723 377081856 69727 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 92061 69727 1280 1200 0 90541 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 368244 KiB
Current children cumulated memory: 278908 KiB
[startup+282.3 s]
/proc/loadavg: 4.03 2.94 1.97 5/265 36934
/proc/meminfo: memFree=129240816/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=372228 memory=283516 CPUtime=281.56 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 47466 0 0 0 28043 113 0 0 20 0 1 0 43225723 381161472 70879 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 93057 70879 1280 1200 0 91537 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 372228 KiB
Current children cumulated memory: 283516 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.15 2.11 5/264 36936
/proc/meminfo: memFree=129234936/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=375816 memory=287740 CPUtime=341.41 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 48534 0 0 0 34003 138 0 0 20 0 1 0 43225723 384835584 71935 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 93954 71935 1280 1200 0 92434 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 375816 KiB
Current children cumulated memory: 287740 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.34 2.24 5/264 36938
/proc/meminfo: memFree=129196184/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=379712 memory=292988 CPUtime=401.24 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 49544 0 0 0 39960 164 0 0 20 0 1 0 43225723 388825088 73247 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 94928 73247 1280 1200 0 93408 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 379712 KiB
Current children cumulated memory: 292988 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.47 2.36 5/264 36941
/proc/meminfo: memFree=129157152/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=382224 memory=315900 CPUtime=461.06 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 50249 0 0 0 45919 187 0 0 20 0 1 0 43225723 391397376 78975 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 95556 78975 1280 1200 0 94036 0
################
# More data... #
################
Current children cumulated memory: 417660 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/262 37065
/proc/meminfo: memFree=128931804/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=487364 memory=418684 CPUtime=2854.89 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 73295 0 0 0 284347 1142 0 0 20 0 1 0 43225723 499060736 104671 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 121841 104671 1280 1200 0 120321 0
Current children cumulated CPU time: 2854.89 s
Current children cumulated vsize: 487364 KiB
Current children cumulated memory: 418684 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.08 4.00 5/262 37067
/proc/meminfo: memFree=128918400/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=491012 memory=421116 CPUtime=2914.75 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 74090 0 0 0 290316 1159 0 0 20 0 1 0 43225723 502796288 105279 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 122753 105279 1280 1200 0 121233 0
Current children cumulated CPU time: 2914.75 s
Current children cumulated vsize: 491012 KiB
Current children cumulated memory: 421116 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/262 37069
/proc/meminfo: memFree=128902468/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=493768 memory=423036 CPUtime=2974.6 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 74567 0 0 0 296287 1173 0 0 20 0 1 0 43225723 505618432 105759 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 123442 105759 1280 1200 0 121922 0
Current children cumulated CPU time: 2974.6 s
Current children cumulated vsize: 493768 KiB
Current children cumulated memory: 423036 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.10 4.01 5/262 37071
/proc/meminfo: memFree=128902172/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=495576 memory=424444 CPUtime=3034.44 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 75106 0 0 0 302256 1188 0 0 20 0 1 0 43225723 507469824 106111 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 123894 106111 1280 1200 0 122374 0
Current children cumulated CPU time: 3034.44 s
Current children cumulated vsize: 495576 KiB
Current children cumulated memory: 424444 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.01 5/262 37073
/proc/meminfo: memFree=128900668/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=497708 memory=426236 CPUtime=3094.29 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 75549 0 0 0 308223 1206 0 0 20 0 1 0 43225723 509652992 106559 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 124427 106559 1280 1200 0 122907 0
Current children cumulated CPU time: 3094.29 s
Current children cumulated vsize: 497708 KiB
Current children cumulated memory: 426236 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/263 37082
/proc/meminfo: memFree=128900484/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=499144 memory=427588 CPUtime=3154.14 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 76187 0 0 0 314187 1227 0 0 20 0 1 0 43225723 511123456 106897 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 124786 106897 1280 1200 0 123266 0
Current children cumulated CPU time: 3154.14 s
Current children cumulated vsize: 499144 KiB
Current children cumulated memory: 427588 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.01 5/264 37085
/proc/meminfo: memFree=128895488/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=503232 memory=430276 CPUtime=3213.99 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 76877 0 0 0 320157 1242 0 0 20 0 1 0 43225723 515309568 107569 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 125808 107569 1280 1200 0 124288 0
Current children cumulated CPU time: 3213.99 s
Current children cumulated vsize: 503232 KiB
Current children cumulated memory: 430276 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/264 37087
/proc/meminfo: memFree=128888016/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=503232 memory=430404 CPUtime=3273.84 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 77068 0 0 0 326124 1260 0 0 20 0 1 0 43225723 515309568 107601 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 125808 107601 1280 1200 0 124288 0
Current children cumulated CPU time: 3273.84 s
Current children cumulated vsize: 503232 KiB
Current children cumulated memory: 430404 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.01 5/264 37089
/proc/meminfo: memFree=128888172/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=504000 memory=431172 CPUtime=3333.69 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 77262 0 0 0 332093 1276 0 0 20 0 1 0 43225723 516096000 107793 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 126000 107793 1280 1200 0 124480 0
Current children cumulated CPU time: 3333.69 s
Current children cumulated vsize: 504000 KiB
Current children cumulated memory: 431172 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/264 37091
/proc/meminfo: memFree=128879588/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=504768 memory=432964 CPUtime=3393.53 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 77591 0 0 0 338059 1294 0 0 20 0 1 0 43225723 516882432 108241 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 126192 108241 1280 1200 0 124672 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 504768 KiB
Current children cumulated memory: 432964 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/263 37093
/proc/meminfo: memFree=128872556/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=511296 memory=442436 CPUtime=3453.38 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 78519 0 0 0 344024 1314 0 0 20 0 1 0 43225723 523567104 110609 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 127824 110609 1280 1200 0 126304 0
Current children cumulated CPU time: 3453.38 s
Current children cumulated vsize: 511296 KiB
Current children cumulated memory: 442436 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/262 37095
/proc/meminfo: memFree=128867656/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=512640 memory=443460 CPUtime=3513.22 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 78969 0 0 0 349991 1331 0 0 20 0 1 0 43225723 524943360 110865 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 128160 110865 1280 1200 0 126640 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 512640 KiB
Current children cumulated memory: 443460 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/262 37097
/proc/meminfo: memFree=128875036/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=512832 memory=443588 CPUtime=3573.08 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 79017 0 0 0 355958 1350 0 0 20 0 1 0 43225723 525139968 110897 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 128208 110897 1280 1200 0 126688 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 512832 KiB
Current children cumulated memory: 443588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.07 4.08 4.02 3/250 37122
/proc/meminfo: memFree=129427116/131249988 swapFree=33010684/33010684
[pid=36917] ppid=36914 vsize=513024 memory=443844 CPUtime=3600.09 cores=4,6
/proc/36917/stat : 36917 (Exact) R 36914 36917 36062 0 -1 4194304 79197 0 0 0 358652 1357 0 0 20 0 1 0 43225723 525336576 110961 18446744073709551615 4198400 9112445 140729928610960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 25587712 140729928620328 140729928620525 140729928620525 140729928626127 0
/proc/36917/statm: 128256 110961 1280 1200 0 126736 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 513024 KiB
Current children cumulated memory: 443844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 36917 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3586.52 s, system=13.5761 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.41
CPU time (s): 3600.1
CPU user time (s): 3586.52
CPU system time (s): 13.5761
CPU usage (%): 99.7422
Max. virtual memory (cumulated for all children) (KiB): 513024
Max. memory (cumulated for all children) (KiB): 443844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.52
system time used= 13.5761
maximum resident set size= 443844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79199
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= 101
involuntary context switches= 2387
# summary of solver processes directly reported to runsolver:
# pid: 36917
# total CPU time (s): 3600.1
# total CPU user time (s): 3586.52
# total CPU system time (s): 13.5761
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30581 second user time and 15.0886 second system time
The end
Begin job on nodeC034 at 2025-06-30 11:24:29 IDJOB=4524408 IDBENCH=180984 IDSOLVER=3318 FILE ID=nodeC034/4524408-1751275469 RUNJOBID= nodeC034-1751275466-36814 SLURM_JOB_ID= 9594201 Free space on /tmp= 433040 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/instances/normalized-QPLIB_3877.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-4524408-1751275469/watcher-4524408-1751275469 -o /tmp/evaluation-result-4524408-1751275469/solver-4524408-1751275469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751275466-36814 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2034931740 --ls=0 --inp-dombreaklim=0 HOME/instance-4524408-1751275469.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2da2e651da52fe2a5e7f901cf56b111b RANDOM SEED=2034931740 nodeC034 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 : 3599.759 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.53 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 : 3599.817 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.53 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.682 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.53 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 : 3700.000 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.53 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 : 3587.417 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.53 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.782 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.784 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.53 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 : 3599.976 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 129796396 kB MemAvailable: 129624980 kB Buffers: 3280 kB Cached: 636688 kB SwapCached: 0 kB Active: 424540 kB Inactive: 412080 kB Active(anon): 214768 kB Inactive(anon): 0 kB Active(file): 209772 kB Inactive(file): 412080 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 17060 kB Writeback: 0 kB AnonPages: 200068 kB Mapped: 118740 kB Shmem: 18104 kB KReclaimable: 91540 kB Slab: 177920 kB SReclaimable: 91540 kB SUnreclaim: 86380 kB KernelStack: 4324 kB PageTables: 3240 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 560408 kB VmallocTotal: 34359738367 kB VmallocUsed: 150536 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 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: 189140 kB DirectMap2M: 7970816 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433048 MiB End job on nodeC034 at 2025-06-30 12:24:38