Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | SAT (TO) | 74 | 3600.11 | 3608.93 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mds/normalized-mds_1000_25_2.opb |
| MD5SUM | ceddeda2654bf0127aac8a1ddeee280b |
| 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 | 54 |
| Best CPU time to get the best result obtained on this benchmark | 68065.4 |
| 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 | 1000 |
| Total number of constraints | 1000 |
| 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 | 1000 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 51 |
| Number of terms in the objective function | 1000 |
| 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 | 1000 |
| 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 | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31544 |
| Sum of products size (including duplicates) | 63088 |
| Number of different products | 31544 |
| Sum of products size | 63088 |
0.40/0.46 o 475 0.40/0.47 o 474 0.40/0.49 o 473 0.40/0.50 o 472 0.50/0.51 o 471 0.50/0.52 o 470 0.50/0.54 o 469 0.50/0.55 o 468 0.50/0.56 o 467 0.50/0.57 o 466 0.50/0.58 o 465 0.50/0.60 o 464 0.60/0.60 o 463 0.60/0.61 o 462 0.60/0.64 o 461 0.60/0.65 o 460 0.60/0.65 o 459 0.60/0.66 o 458 0.60/0.67 o 457 0.60/0.67 o 456 0.89/0.99 o 455 0.89/0.99 o 454 1.00/1.00 o 453 1.00/1.01 o 452 1.00/1.02 o 451 1.00/1.02 o 450 1.00/1.03 o 449 1.00/1.03 o 448 1.00/1.04 o 447 1.00/1.05 o 446 1.00/1.05 o 445 1.00/1.06 o 444 1.00/1.07 o 443 1.00/1.07 o 442 1.00/1.08 o 441 1.00/1.09 o 440 1.00/1.09 o 439 1.00/1.10 o 438 1.10/1.11 o 437 1.10/1.11 o 436 1.10/1.12 o 435 1.10/1.13 o 434 1.10/1.13 o 433 1.10/1.14 o 432 1.10/1.14 o 431 1.10/1.15 o 430 1.10/1.16 o 429 1.10/1.16 o 428 1.10/1.17 o 427 1.10/1.18 o 426 1.10/1.18 o 425 1.10/1.19 o 424 1.19/1.20 o 423 1.19/1.20 o 422 1.19/1.21 o 421 1.19/1.22 o 420 1.19/1.22 o 419 1.19/1.23 o 418 1.19/1.23 o 417 1.19/1.24 o 416 1.19/1.25 o 415 1.19/1.25 o 414 1.19/1.26 o 413 1.19/1.27 o 412 1.19/1.28 o 411 1.19/1.28 o 410 1.19/1.29 o 409 1.29/1.30 o 408 1.29/1.31 o 407 1.29/1.32 o 406 1.29/1.33 o 405 1.29/1.34 o 404 1.29/1.34 o 403 1.29/1.35 o 402 1.29/1.36 o 401 1.29/1.37 o 400 1.29/1.37 o 399 1.29/1.38 o 398 1.29/1.39 o 397 1.39/1.40 o 396 1.39/1.40 o 395 1.39/1.41 o 394 1.39/1.41 o 393 1.39/1.42 o 392 1.39/1.43 o 391 1.39/1.43 o 390 1.39/1.44 o 389 1.39/1.45 o 388 1.39/1.45 o 387 1.39/1.46 o 386 1.39/1.46 o 385 1.39/1.47 o 384 1.39/1.48 o 383 1.39/1.48 o 382 1.39/1.49 o 381 1.39/1.49 o 380 1.49/1.50 o 379 1.49/1.51 o 378 1.49/1.51 o 377 1.49/1.52 o 376 1.49/1.53 o 375 1.49/1.53 o 374 1.49/1.54 o 373 1.49/1.54 o 372 1.49/1.55 o 371 1.49/1.56 o 370 1.49/1.56 o 369 1.49/1.57 o 368 1.49/1.57 o 367 3.58/3.68 o 366 3.58/3.69 o 365 3.68/3.70 o 364 3.68/3.71 o 363 3.68/3.72 o 362 3.68/3.73 o 361 3.68/3.74 o 360 3.68/3.75 o 359 3.68/3.76 o 358 3.68/3.77 o 357 3.68/3.78 o 356 3.68/3.79 o 355 3.68/3.79 o 354 3.78/3.80 o 353 3.78/3.81 o 352 3.78/3.82 o 351 3.78/3.83 o 350 3.78/3.84 o 349 3.78/3.84 o 348 3.78/3.85 o 347 3.78/3.86 o 346 3.78/3.87 o 345 3.78/3.88 o 344 3.78/3.88 o 343 3.78/3.89 o 342 3.88/3.90 o 341 3.88/3.91 o 340 3.88/3.91 o 339 3.88/3.92 o 338 3.88/3.93 o 337 3.88/3.94 o 336 3.88/3.95 o 335 3.88/3.95 o 334 3.88/3.96 o 333 3.88/3.97 o 332 3.88/3.98 o 331 3.88/3.99 o 330 3.88/3.99 o 329 3.98/4.00 o 328 3.98/4.01 o 327 3.98/4.02 o 326 3.98/4.03 o 325 3.98/4.03 o 324 3.98/4.04 o 323 3.98/4.05 o 322 3.98/4.06 o 321 3.98/4.07 o 320 3.98/4.07 o 319 3.98/4.08 o 318 3.98/4.09 o 317 3.98/4.10 o 316 4.08/4.10 o 315 4.08/4.11 o 314 4.08/4.12 o 313 4.08/4.13 o 312 4.08/4.14 o 311 4.08/4.14 o 310 4.08/4.15 o 309 4.08/4.16 o 308 4.08/4.17 o 307 4.08/4.17 o 306 4.08/4.18 o 305 4.08/4.19 o 304 4.18/4.20 o 303 4.18/4.21 o 302 4.18/4.21 o 301 4.18/4.22 o 300 4.18/4.23 o 299 4.18/4.24 o 298 4.18/4.24 o 297 4.18/4.25 o 296 4.18/4.26 o 295 4.18/4.27 o 294 4.18/4.28 o 293 4.18/4.28 o 292 4.18/4.29 o 291 4.28/4.30 o 290 4.28/4.31 o 289 4.28/4.31 o 288 4.28/4.32 o 287 4.28/4.33 o 286 4.28/4.34 o 285 4.28/4.34 o 284 4.28/4.35 o 283 4.28/4.36 o 282 4.28/4.37 o 281 4.28/4.37 o 280 4.28/4.38 o 279 4.28/4.39 o 278 4.38/4.40 o 277 4.38/4.40 o 276 4.38/4.41 o 275 4.38/4.42 o 274 4.38/4.43 o 273 4.38/4.43 o 272 4.38/4.44 o 271 4.38/4.45 o 270 4.38/4.46 o 269 4.38/4.46 o 268 4.38/4.47 o 267 4.38/4.48 o 266 4.38/4.49 o 265 4.38/4.49 o 264 4.48/4.50 o 263 4.48/4.51 o 262 4.48/4.52 o 261 4.48/4.52 o 260 4.48/4.53 o 259 4.48/4.54 o 258 4.48/4.55 o 257 4.48/4.55 o 256 4.48/4.56 o 255 4.48/4.57 o 254 4.48/4.58 o 253 4.48/4.58 o 252 4.48/4.59 o 251 4.58/4.60 o 250 4.58/4.61 o 249 4.58/4.61 o 248 4.58/4.62 o 247 4.58/4.63 o 246 4.58/4.64 o 245 4.58/4.64 o 244 4.58/4.65 o 243 4.58/4.66 o 242 4.58/4.66 o 241 4.58/4.67 o 240 4.58/4.68 o 239 4.58/4.69 o 238 4.68/4.70 o 237 4.68/4.70 o 236 4.68/4.71 o 235 4.68/4.72 o 234 4.68/4.72 o 233 4.68/4.73 o 232 4.68/4.74 o 231 4.68/4.75 o 230 4.68/4.75 o 229 4.68/4.76 o 228 4.68/4.77 o 227 4.68/4.78 o 226 4.68/4.78 o 225 4.68/4.79 o 224 4.78/4.80 o 223 4.78/4.81 o 222 4.78/4.81 o 221 4.78/4.82 o 220 4.78/4.83 o 219 4.78/4.84 o 218 4.78/4.85 o 217 4.78/4.85 o 216 4.78/4.86 o 215 4.78/4.87 o 214 4.78/4.88 o 213 4.78/4.89 o 212 4.78/4.89 o 211 4.88/4.90 o 210 4.88/4.91 o 209 4.88/4.92 o 208 4.88/4.93 o 207 4.88/4.94 o 206 4.88/4.95 o 205 4.88/4.96 o 204 4.88/4.97 o 203 4.88/4.98 o 202 4.88/4.99 o 201 4.88/5.00 o 200 4.98/5.01 o 199 4.98/5.02 o 198 4.98/5.03 o 197 4.98/5.04 o 196 4.98/5.05 o 195 4.98/5.06 o 194 4.98/5.07 o 193 4.98/5.08 o 192 4.98/5.09 o 191 5.08/5.10 o 190 5.08/5.11 o 189 5.08/5.12 o 188 5.08/5.13 o 187 5.08/5.14 o 186 5.08/5.15 o 185 5.08/5.16 o 184 5.08/5.16 o 183 5.08/5.17 o 182 5.08/5.18 o 181 5.08/5.18 o 180 5.08/5.19 o 179 5.17/5.20 o 178 5.17/5.21 o 177 5.17/5.21 o 176 5.17/5.22 o 175 5.17/5.23 o 174 5.17/5.23 o 173 5.17/5.24 o 172 5.17/5.25 o 171 5.17/5.26 o 170 5.17/5.26 o 169 5.17/5.27 o 168 5.17/5.28 o 167 5.17/5.28 o 166 5.17/5.29 o 165 5.27/5.30 o 164 5.27/5.31 o 163 5.27/5.31 o 162 5.27/5.32 o 161 5.27/5.33 o 160 5.27/5.33 o 159 5.27/5.34 o 158 5.27/5.35 o 157 5.27/5.35 o 156 5.27/5.36 o 155 5.27/5.37 o 154 5.27/5.38 o 153 5.27/5.38 o 152 5.27/5.39 o 151 5.37/5.40 o 150 5.37/5.40 o 149 5.37/5.41 o 148 5.37/5.42 o 147 5.37/5.43 o 146 5.37/5.43 o 145 5.37/5.44 o 144 5.37/5.45 o 143 5.37/5.45 o 142 5.37/5.46 o 141 5.37/5.47 o 140 5.37/5.48 o 139 5.37/5.48 o 138 5.37/5.49 o 137 5.47/5.50 o 136 5.47/5.50 o 135 5.47/5.51 o 134 5.47/5.52 o 133 5.47/5.52 o 132 5.47/5.53 o 131 5.47/5.54 o 130 5.47/5.54 o 129 5.47/5.55 o 128 5.47/5.56 o 127 5.47/5.56 o 126 5.47/5.57 o 125 5.47/5.58 o 124 5.47/5.59 o 123 5.57/5.60 o 122 5.57/5.61 o 121 5.57/5.62 o 120 5.57/5.64 o 119 5.57/5.65 o 118 5.57/5.66 o 117 5.57/5.67 o 116 5.57/5.69 o 115 5.67/5.70 o 114 5.67/5.71 o 113 5.67/5.72 o 112 5.67/5.73 o 111 5.67/5.75 o 110 5.67/5.76 o 109 5.67/5.77 o 108 5.67/5.78 o 107 5.77/5.81 o 106 6.78/6.84 o 105 13.35/13.40 o 104 13.35/13.41 o 103 13.35/13.42 o 102 13.35/13.44 o 101 13.35/13.45 o 100 13.35/13.47 o 99 13.45/13.50 o 98 13.66/13.73 o 97 14.15/14.24 o 96 19.34/19.43 o 95 23.94/24.06 o 94 24.23/24.39 o 93 63.72/63.92 o 92 63.72/63.93 o 91 63.72/63.98 o 90 194.39/194.90 o 89 194.39/194.97 o 88 194.79/195.34 o 87 478.07/479.38 o 86 515.88/517.26 o 85 785.65/787.69 o 84 785.75/787.71 o 83 809.60/811.64 o 82 1006.56/1009.10 o 81 1006.56/1009.13 o 80 1173.75/1176.81 o 79 1509.25/1513.26 o 78 1619.69/1623.91 o 77 2011.09/2016.28 o 76 2204.83/2210.43 o 75 2915.18/2922.42 o 74 3600.07/3608.90 c Program interrupted by user. 3600.07/3608.90 s SATISFIABLE 3600.07/3608.90 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 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
OK 74
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: 63968 MiB (59085 MiB free)
memory of node 1: 64473 MiB (60250 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459841-1721943092/watcher-4459841-1721943092 -o /tmp/evaluation-result-4459841-1721943092/solver-4459841-1721943092 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721943063-255910 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=840022250 HOME/instance-4459841-1721943092.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=256022, runsolver pid=256019
[startup+0.100096 s]*
/proc/loadavg: 3.35 3.17 3.11 5/260 256023
/proc/meminfo: memFree=122152240/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=74996 memory=52772 CPUtime=0.09 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 14720 0 0 0 7 2 0 0 20 0 1 0 30837067 76795904 13193 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 18749 13193 868 1005 0 17512 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74996 KiB
Current children cumulated memory: 52772 KiB
[startup+0.206 s]*
/proc/loadavg: 3.35 3.17 3.11 5/260 256023
/proc/meminfo: memFree=122143984/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=77360 memory=58372 CPUtime=0.21 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 16357 0 0 0 18 3 0 0 20 0 1 0 30837067 79216640 14593 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 19340 14593 884 1005 0 18103 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 77360 KiB
Current children cumulated memory: 58372 KiB
[startup+0.305918 s]*
/proc/loadavg: 3.35 3.17 3.11 5/260 256023
/proc/meminfo: memFree=122074956/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=146576 memory=127548 CPUtime=0.3 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 26233 0 0 0 25 5 0 0 20 0 1 0 30837067 150093824 31887 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 36644 31887 1028 1005 0 35407 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 146576 KiB
Current children cumulated memory: 127548 KiB
[startup+0.700227 s]
/proc/loadavg: 3.35 3.17 3.11 5/260 256023
/proc/meminfo: memFree=122068088/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=157144 memory=134304 CPUtime=0.69 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 30978 0 0 0 62 7 0 0 20 0 1 0 30837067 160915456 33576 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 39286 33576 1124 1005 0 38049 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 157144 KiB
Current children cumulated memory: 134304 KiB
[startup+1.50023 s]
/proc/loadavg: 3.40 3.18 3.11 5/260 256023
/proc/meminfo: memFree=122058004/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=157144 memory=136352 CPUtime=1.49 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 30979 0 0 0 142 7 0 0 20 0 1 0 30837067 160915456 34088 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 39286 34088 1124 1005 0 38049 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 157144 KiB
Current children cumulated memory: 136352 KiB
[startup+3.10575 s]
/proc/loadavg: 3.40 3.18 3.11 5/260 256023
/proc/meminfo: memFree=122040964/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=160248 memory=143848 CPUtime=3.09 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 31809 0 0 0 302 7 0 0 20 0 1 0 30837067 164093952 35962 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 40062 35962 1124 1005 0 38825 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 160248 KiB
Current children cumulated memory: 143848 KiB
[startup+6.30018 s]
/proc/loadavg: 3.40 3.18 3.11 6/260 256024
/proc/meminfo: memFree=122021412/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=184784 memory=162092 CPUtime=6.27 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 35099 0 0 0 619 8 0 0 20 0 1 0 30837067 189218816 40523 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 46196 40523 1124 1005 0 44959 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 184784 KiB
Current children cumulated memory: 162092 KiB
[startup+12.7002 s]
/proc/loadavg: 3.49 3.21 3.12 5/260 256025
/proc/meminfo: memFree=121980928/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=208320 memory=191324 CPUtime=12.66 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 38854 0 0 0 1256 10 0 0 20 0 1 0 30837067 213319680 47831 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 52080 47831 1124 1005 0 50843 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 208320 KiB
Current children cumulated memory: 191324 KiB
[startup+25.5002 s]
/proc/loadavg: 3.57 3.24 3.13 6/260 256027
/proc/meminfo: memFree=121871276/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=306372 memory=278284 CPUtime=25.43 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 48652 0 0 0 2528 15 0 0 20 0 1 0 30837067 313724928 69571 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 76593 69571 1124 1005 0 75356 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 306372 KiB
Current children cumulated memory: 278284 KiB
[startup+51.1059 s]
/proc/loadavg: 3.79 3.32 3.16 6/260 256031
/proc/meminfo: memFree=121827204/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=308816 memory=280184 CPUtime=50.97 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 49183 0 0 0 5080 17 0 0 20 0 1 0 30837067 316227584 70046 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 77204 70046 1124 1005 0 75967 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 308816 KiB
Current children cumulated memory: 280184 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 3.54 3.25 5/260 256040
/proc/meminfo: memFree=121792516/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=321956 memory=293588 CPUtime=102.03 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 52615 0 0 0 10185 18 0 0 20 0 1 0 30837067 329682944 73397 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 80489 73397 1140 1005 0 79252 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 321956 KiB
Current children cumulated memory: 293588 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 3.64 3.31 5/258 256052
/proc/meminfo: memFree=121741040/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=329704 memory=300304 CPUtime=161.87 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 54323 0 0 0 16162 25 0 0 20 0 1 0 30837067 337616896 75076 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 82426 75076 1140 1005 0 81189 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 329704 KiB
Current children cumulated memory: 300304 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.72 3.36 5/258 256062
/proc/meminfo: memFree=121721452/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=337080 memory=309376 CPUtime=221.73 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 56696 0 0 0 22147 26 0 0 20 0 1 0 30837067 345169920 77344 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 84270 77344 1140 1005 0 83033 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 337080 KiB
Current children cumulated memory: 309376 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 3.82 3.42 5/252 256073
/proc/meminfo: memFree=121695592/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=345912 memory=316812 CPUtime=281.57 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 58593 0 0 0 28126 31 0 0 20 0 1 0 30837067 354213888 79203 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 86478 79203 1140 1005 0 85241 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 345912 KiB
Current children cumulated memory: 316812 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 3.92 3.47 5/252 256084
/proc/meminfo: memFree=121677596/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=347968 memory=319956 CPUtime=341.42 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 59365 0 0 0 34103 39 0 0 20 0 1 0 30837067 356319232 79989 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 86992 79989 1140 1005 0 85755 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 347968 KiB
Current children cumulated memory: 319956 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.96 3.52 5/252 256094
/proc/meminfo: memFree=121657580/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=355984 memory=329388 CPUtime=401.27 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 61015 0 0 0 40080 47 0 0 20 0 1 0 30837067 364527616 82347 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 88996 82347 1140 1005 0 87759 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 355984 KiB
Current children cumulated memory: 329388 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.99 3.56 5/251 256104
/proc/meminfo: memFree=121626424/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=378080 memory=350752 CPUtime=461.11 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 65467 0 0 0 46063 48 0 0 20 0 1 0 30837067 387153920 87688 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 94520 87688 1140 1005 0 93283 0
################
# More data... #
################
Current children cumulated memory: 538192 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.09 4.07 5/253 257657
/proc/meminfo: memFree=121211132/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=588476 memory=538192 CPUtime=2915.08 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 97999 0 0 0 291290 218 0 0 20 0 1 0 30837067 602599424 134548 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 147119 134548 1140 1005 0 145882 0
Current children cumulated CPU time: 2915.08 s
Current children cumulated vsize: 588476 KiB
Current children cumulated memory: 538192 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/255 257671
/proc/meminfo: memFree=121206136/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=588476 memory=538192 CPUtime=2974.93 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 98253 0 0 0 297275 218 0 0 20 0 1 0 30837067 602599424 134548 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 147119 134548 1140 1005 0 145882 0
Current children cumulated CPU time: 2974.93 s
Current children cumulated vsize: 588476 KiB
Current children cumulated memory: 538192 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/254 257682
/proc/meminfo: memFree=121198068/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=588476 memory=538192 CPUtime=3034.79 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 98471 0 0 0 303261 218 0 0 20 0 1 0 30837067 602599424 134548 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 147119 134548 1140 1005 0 145882 0
Current children cumulated CPU time: 3034.79 s
Current children cumulated vsize: 588476 KiB
Current children cumulated memory: 538192 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.08 5/254 257692
/proc/meminfo: memFree=121187924/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=590652 memory=540368 CPUtime=3094.64 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 99233 0 0 0 309246 218 0 0 20 0 1 0 30837067 604827648 135092 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 147663 135092 1140 1005 0 146426 0
Current children cumulated CPU time: 3094.64 s
Current children cumulated vsize: 590652 KiB
Current children cumulated memory: 540368 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/254 257704
/proc/meminfo: memFree=121178812/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=592824 memory=542540 CPUtime=3154.5 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 99982 0 0 0 315232 218 0 0 20 0 1 0 30837067 607051776 135635 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 148206 135635 1140 1005 0 146969 0
Current children cumulated CPU time: 3154.5 s
Current children cumulated vsize: 592824 KiB
Current children cumulated memory: 542540 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/254 257715
/proc/meminfo: memFree=121161828/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=603324 memory=551136 CPUtime=3214.37 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 102321 0 0 0 321218 219 0 0 20 0 1 0 30837067 617803776 137784 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 150831 137784 1140 1005 0 149594 0
Current children cumulated CPU time: 3214.37 s
Current children cumulated vsize: 603324 KiB
Current children cumulated memory: 551136 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.09 4.08 5/253 258108
/proc/meminfo: memFree=121154720/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=607356 memory=555168 CPUtime=3274.23 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 103556 0 0 0 327204 219 0 0 20 0 1 0 30837067 621932544 138792 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 151839 138792 1140 1005 0 150602 0
Current children cumulated CPU time: 3274.23 s
Current children cumulated vsize: 607356 KiB
Current children cumulated memory: 555168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/253 258119
/proc/meminfo: memFree=121149908/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=610616 memory=558428 CPUtime=3334.09 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 104580 0 0 0 333190 219 0 0 20 0 1 0 30837067 625270784 139607 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 152654 139607 1140 1005 0 151417 0
Current children cumulated CPU time: 3334.09 s
Current children cumulated vsize: 610616 KiB
Current children cumulated memory: 558428 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/253 258130
/proc/meminfo: memFree=121147100/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=610872 memory=558684 CPUtime=3393.95 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 104849 0 0 0 339176 219 0 0 20 0 1 0 30837067 625532928 139671 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 152718 139671 1140 1005 0 151481 0
Current children cumulated CPU time: 3393.95 s
Current children cumulated vsize: 610872 KiB
Current children cumulated memory: 558684 KiB
[startup+3462.3 s]
/proc/loadavg: 5.26 4.39 4.19 6/255 258310
/proc/meminfo: memFree=121144336/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=612476 memory=560292 CPUtime=3453.8 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 105458 0 0 0 345161 219 0 0 20 0 1 0 30837067 627175424 140073 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 153119 140073 1140 1005 0 151882 0
Current children cumulated CPU time: 3453.8 s
Current children cumulated vsize: 612476 KiB
Current children cumulated memory: 560292 KiB
[startup+3522.3 s]
/proc/loadavg: 4.46 4.32 4.18 5/254 258321
/proc/meminfo: memFree=121136496/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=614816 memory=565372 CPUtime=3513.66 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 106259 0 0 0 351147 219 0 0 20 0 1 0 30837067 629571584 141343 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 153704 141343 1140 1005 0 152467 0
Current children cumulated CPU time: 3513.66 s
Current children cumulated vsize: 614816 KiB
Current children cumulated memory: 565372 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.26 4.17 3/241 258451
/proc/meminfo: memFree=121531752/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=614816 memory=565436 CPUtime=3573.53 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 106492 0 0 0 357133 220 0 0 20 0 1 0 30837067 629571584 141359 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 153704 141359 1140 1005 0 152467 0
Current children cumulated CPU time: 3573.53 s
Current children cumulated vsize: 614816 KiB
Current children cumulated memory: 565436 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 3.05 3.99 4.08 2/234 258486
/proc/meminfo: memFree=122103884/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=614816 memory=565436 CPUtime=3600.07 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 106503 0 0 0 359787 220 0 0 20 0 1 0 30837067 629571584 141359 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 153704 141359 1140 1005 0 152467 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 614816 KiB
Current children cumulated memory: 565436 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.93 s]
# the end of solver process 256022 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3597.9 s, system=2.20267 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 3.05 3.99 4.08 2/234 258486
/proc/meminfo: memFree=122103884/131524600 swapFree=131060368/131071996
[pid=256022] ppid=256019 vsize=614816 memory=565436 CPUtime=3600.07 cores=5,7
/proc/256022/stat : 256022 (Exact) R 256019 256022 253732 0 -1 4194304 106503 0 0 0 359787 220 0 0 20 0 1 0 30837067 629571584 141359 134679101440 4194304 8309489 140730398524944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42078208 140730398528450 140730398528619 140730398528619 140730398535631 0
/proc/256022/statm: 153704 141359 1140 1005 0 152467 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 614816 KiB
Current children cumulated memory: 565436 KiB
Child status: 10
Real time (s): 3608.93
CPU time (s): 3600.11
CPU user time (s): 3597.9
CPU system time (s): 2.20267
CPU usage (%): 99.7556
Max. virtual memory (cumulated for all children) (KiB): 614816
Max. memory (cumulated for all children) (KiB): 565436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.9
system time used= 2.20267
maximum resident set size= 565436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106519
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= 64
involuntary context switches= 2034
# summary of solver processes directly reported to runsolver:
# pid: 256022
# total CPU time (s): 3600.11
# total CPU user time (s): 3597.9
# total CPU system time (s): 2.20267
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.86849 second user time and 18.195 second system time
The end
Begin job on nodeC014 at 2024-07-25 23:31:32 IDJOB=4459841 IDBENCH=148605 IDSOLVER=3060 FILE ID=nodeC014/4459841-1721943092 RUNJOBID= nodeC014-1721943063-255910 SLURM_JOB_ID= 8247236 Free space on /tmp= 890020 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_2.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459841-1721943092/watcher-4459841-1721943092 -o /tmp/evaluation-result-4459841-1721943092/solver-4459841-1721943092 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721943063-255910 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=840022250 HOME/instance-4459841-1721943092.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ceddeda2654bf0127aac8a1ddeee280b RANDOM SEED=840022250 nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3660.489 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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 : 3661.350 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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.820 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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.979 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3660.614 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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 : 3663.239 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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.933 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 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 : 3657.270 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122200056 kB MemAvailable: 129388496 kB Buffers: 336016 kB Cached: 7644656 kB SwapCached: 140 kB Active: 768268 kB Inactive: 7888652 kB Active(anon): 2192 kB Inactive(anon): 726716 kB Active(file): 766076 kB Inactive(file): 7161936 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060368 kB Dirty: 6664 kB Writeback: 8 kB AnonPages: 672872 kB Mapped: 106060 kB Shmem: 52988 kB KReclaimable: 200504 kB Slab: 323552 kB SReclaimable: 200504 kB SUnreclaim: 123048 kB KernelStack: 4172 kB PageTables: 10288 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1228156 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 12800 kB HardwareCorrupted: 0 kB AnonHugePages: 350208 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 393940 kB DirectMap2M: 46565376 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 890032 MiB End job on nodeC014 at 2024-07-26 00:31:41