0.27/0.36	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4545595-1753232065.opb
0.27/0.36	c Solving mode: decision
0.27/0.36	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.27/0.36	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.27/0.36	c original problem has 1409 variables (1409 bin, 0 int, 0 impl, 0 cont) and 746 constraints
0.27/0.36	c presolving:
0.27/0.36	c (round 1, fast)       65 del vars, 65 del conss, 49 add conss, 64 chg bounds, 238 chg sides, 203 chg coeffs, 0 upgd conss, 0 impls, 413 clqs
0.27/0.36	c (round 2, fast)       107 del vars, 152 del conss, 49 add conss, 106 chg bounds, 238 chg sides, 567 chg coeffs, 0 upgd conss, 0 impls, 455 clqs
0.27/0.36	c (round 3, fast)       107 del vars, 192 del conss, 49 add conss, 106 chg bounds, 238 chg sides, 567 chg coeffs, 0 upgd conss, 0 impls, 455 clqs
0.27/0.36	c (round 4, exhaustive) 107 del vars, 213 del conss, 49 add conss, 106 chg bounds, 238 chg sides, 567 chg coeffs, 0 upgd conss, 0 impls, 455 clqs
0.27/0.36	c (round 5, fast)       128 del vars, 213 del conss, 82 add conss, 106 chg bounds, 238 chg sides, 567 chg coeffs, 0 upgd conss, 0 impls, 455 clqs
0.27/0.36	c (round 6, fast)       128 del vars, 213 del conss, 107 add conss, 106 chg bounds, 238 chg sides, 567 chg coeffs, 0 upgd conss, 0 impls, 455 clqs
0.27/0.36	c (round 7, fast)       128 del vars, 213 del conss, 107 add conss, 106 chg bounds, 238 chg sides, 840 chg coeffs, 0 upgd conss, 0 impls, 455 clqs
0.27/0.36	c (round 8, exhaustive) 128 del vars, 250 del conss, 107 add conss, 106 chg bounds, 238 chg sides, 840 chg coeffs, 0 upgd conss, 0 impls, 455 clqs
0.27/0.36	c (round 9, exhaustive) 128 del vars, 250 del conss, 107 add conss, 106 chg bounds, 238 chg sides, 840 chg coeffs, 533 upgd conss, 0 impls, 455 clqs
0.27/0.36	c (round 10, fast)       128 del vars, 250 del conss, 107 add conss, 106 chg bounds, 259 chg sides, 945 chg coeffs, 533 upgd conss, 0 impls, 455 clqs
0.27/0.36	c (round 11, medium)     128 del vars, 292 del conss, 254 add conss, 106 chg bounds, 322 chg sides, 1071 chg coeffs, 533 upgd conss, 0 impls, 582 clqs
0.27/0.36	c (round 12, fast)       128 del vars, 292 del conss, 254 add conss, 106 chg bounds, 343 chg sides, 1218 chg coeffs, 533 upgd conss, 0 impls, 582 clqs
0.27/0.36	c (round 13, exhaustive) 128 del vars, 418 del conss, 296 add conss, 106 chg bounds, 343 chg sides, 1218 chg coeffs, 533 upgd conss, 0 impls, 582 clqs
0.27/0.36	c (round 14, exhaustive) 153 del vars, 418 del conss, 296 add conss, 106 chg bounds, 343 chg sides, 1218 chg coeffs, 533 upgd conss, 0 impls, 1025 clqs
0.27/0.36	c (round 15, fast)       167 del vars, 456 del conss, 365 add conss, 106 chg bounds, 343 chg sides, 1237 chg coeffs, 533 upgd conss, 0 impls, 943 clqs
0.27/0.36	c (round 16, fast)       167 del vars, 456 del conss, 365 add conss, 106 chg bounds, 343 chg sides, 1588 chg coeffs, 533 upgd conss, 0 impls, 943 clqs
0.27/0.36	c (round 17, exhaustive) 167 del vars, 456 del conss, 365 add conss, 106 chg bounds, 343 chg sides, 1609 chg coeffs, 533 upgd conss, 0 impls, 943 clqs
0.27/0.36	c (round 18, medium)     167 del vars, 456 del conss, 386 add conss, 106 chg bounds, 364 chg sides, 1672 chg coeffs, 533 upgd conss, 0 impls, 963 clqs
0.27/0.36	c (round 19, fast)       167 del vars, 456 del conss, 386 add conss, 106 chg bounds, 385 chg sides, 1756 chg coeffs, 533 upgd conss, 0 impls, 963 clqs
0.27/0.36	c (round 20, exhaustive) 167 del vars, 477 del conss, 386 add conss, 106 chg bounds, 385 chg sides, 1756 chg coeffs, 533 upgd conss, 0 impls, 963 clqs
0.27/0.36	c (round 21, exhaustive) 167 del vars, 477 del conss, 386 add conss, 106 chg bounds, 385 chg sides, 1756 chg coeffs, 602 upgd conss, 0 impls, 963 clqs
0.27/0.36	c (round 22, fast)       167 del vars, 546 del conss, 386 add conss, 106 chg bounds, 385 chg sides, 1756 chg coeffs, 602 upgd conss, 0 impls, 963 clqs
0.27/0.36	c (round 23, exhaustive) 192 del vars, 546 del conss, 386 add conss, 106 chg bounds, 385 chg sides, 1756 chg coeffs, 602 upgd conss, 0 impls, 4298 clqs
0.27/0.36	c (round 24, fast)       204 del vars, 570 del conss, 456 add conss, 106 chg bounds, 385 chg sides, 1781 chg coeffs, 602 upgd conss, 0 impls, 4246 clqs
0.27/0.36	c (round 25, fast)       204 del vars, 570 del conss, 456 add conss, 106 chg bounds, 517 chg sides, 2133 chg coeffs, 602 upgd conss, 0 impls, 4246 clqs
0.27/0.36	c (round 26, exhaustive) 204 del vars, 570 del conss, 456 add conss, 106 chg bounds, 517 chg sides, 2193 chg coeffs, 602 upgd conss, 0 impls, 4246 clqs
0.27/0.36	c (round 27, exhaustive) 204 del vars, 570 del conss, 456 add conss, 106 chg bounds, 517 chg sides, 2239 chg coeffs, 602 upgd conss, 0 impls, 4246 clqs
0.27/0.36	c (round 28, exhaustive) 204 del vars, 570 del conss, 456 add conss, 106 chg bounds, 517 chg sides, 2282 chg coeffs, 602 upgd conss, 0 impls, 4246 clqs
0.27/0.36	c (round 29, exhaustive) 204 del vars, 570 del conss, 456 add conss, 106 chg bounds, 517 chg sides, 2321 chg coeffs, 602 upgd conss, 0 impls, 4246 clqs
0.27/0.36	c (round 30, exhaustive) 204 del vars, 570 del conss, 456 add conss, 106 chg bounds, 517 chg sides, 2356 chg coeffs, 602 upgd conss, 0 impls, 4246 clqs
0.27/0.36	c (round 31, exhaustive) 204 del vars, 570 del conss, 456 add conss, 106 chg bounds, 517 chg sides, 2394 chg coeffs, 602 upgd conss, 0 impls, 4246 clqs
0.27/0.36	c (round 32, exhaustive) 204 del vars, 570 del conss, 456 add conss, 106 chg bounds, 517 chg sides, 2435 chg coeffs, 602 upgd conss, 0 impls, 4246 clqs
0.27/0.36	c (round 33, exhaustive) 204 del vars, 570 del conss, 456 add conss, 106 chg bounds, 517 chg sides, 2467 chg coeffs, 602 upgd conss, 0 impls, 4246 clqs
0.27/0.36	c (round 34, exhaustive) 204 del vars, 570 del conss, 456 add conss, 106 chg bounds, 517 chg sides, 2490 chg coeffs, 602 upgd conss, 0 impls, 4246 clqs
0.27/0.36	c (round 35, exhaustive) 204 del vars, 570 del conss, 456 add conss, 106 chg bounds, 517 chg sides, 2508 chg coeffs, 602 upgd conss, 0 impls, 4246 clqs
0.27/0.36	c (round 36, exhaustive) 204 del vars, 570 del conss, 456 add conss, 106 chg bounds, 517 chg sides, 2518 chg coeffs, 602 upgd conss, 0 impls, 4246 clqs
0.27/0.36	c (round 37, exhaustive) 204 del vars, 570 del conss, 456 add conss, 106 chg bounds, 517 chg sides, 2522 chg coeffs, 661 upgd conss, 0 impls, 4246 clqs
0.27/0.36	c (round 38, fast)       204 del vars, 629 del conss, 456 add conss, 106 chg bounds, 517 chg sides, 2522 chg coeffs, 661 upgd conss, 0 impls, 4246 clqs
0.27/0.36	c    (0.2s) probing: 1000/1281 (78.1%) - 55 fixings, 5 aggregations, 5952 implications, 0 bound changes
0.27/0.36	c    (0.2s) probing: 1206/1281 (94.1%) - 66 fixings, 5 aggregations, 7082 implications, 0 bound changes
0.27/0.36	c    (0.2s) probing aborted: 50/50 successive totally useless probings
0.27/0.36	c (round 39, exhaustive) 225 del vars, 629 del conss, 456 add conss, 106 chg bounds, 517 chg sides, 2524 chg coeffs, 661 upgd conss, 0 impls, 5427 clqs
0.27/0.36	c (round 40, fast)       236 del vars, 646 del conss, 526 add conss, 106 chg bounds, 522 chg sides, 2564 chg coeffs, 661 upgd conss, 0 impls, 5383 clqs
0.27/0.36	c (round 41, fast)       236 del vars, 646 del conss, 526 add conss, 106 chg bounds, 762 chg sides, 2907 chg coeffs, 661 upgd conss, 0 impls, 5383 clqs
0.27/0.36	c (round 42, medium)     236 del vars, 646 del conss, 531 add conss, 106 chg bounds, 767 chg sides, 2917 chg coeffs, 661 upgd conss, 0 impls, 5383 clqs
0.27/0.36	c (round 43, fast)       236 del vars, 651 del conss, 531 add conss, 106 chg bounds, 767 chg sides, 2917 chg coeffs, 661 upgd conss, 0 impls, 5383 clqs
0.27/0.36	c (round 44, exhaustive) 236 del vars, 651 del conss, 531 add conss, 106 chg bounds, 767 chg sides, 2947 chg coeffs, 661 upgd conss, 0 impls, 5383 clqs
0.27/0.36	c (round 45, exhaustive) 236 del vars, 651 del conss, 531 add conss, 106 chg bounds, 767 chg sides, 2970 chg coeffs, 661 upgd conss, 0 impls, 5383 clqs
0.27/0.36	c (round 46, exhaustive) 236 del vars, 651 del conss, 531 add conss, 106 chg bounds, 767 chg sides, 2986 chg coeffs, 661 upgd conss, 0 impls, 5383 clqs
0.27/0.36	c (round 47, exhaustive) 236 del vars, 651 del conss, 531 add conss, 106 chg bounds, 767 chg sides, 2998 chg coeffs, 661 upgd conss, 0 impls, 5383 clqs
0.27/0.36	c (round 48, exhaustive) 236 del vars, 662 del conss, 531 add conss, 106 chg bounds, 767 chg sides, 3002 chg coeffs, 661 upgd conss, 0 impls, 5383 clqs
0.27/0.36	c (round 49, exhaustive) 236 del vars, 662 del conss, 531 add conss, 106 chg bounds, 767 chg sides, 3003 chg coeffs, 711 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 50, fast)       236 del vars, 712 del conss, 531 add conss, 106 chg bounds, 767 chg sides, 3003 chg coeffs, 711 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c    (0.2s) probing: 1211/1281 (94.5%) - 66 fixings, 5 aggregations, 7082 implications, 0 bound changes
14.92/15.05	c    (0.2s) probing aborted: 50/50 successive totally useless probings
14.92/15.05	c    (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
14.92/15.05	c    (0.2s) no symmetry present (symcode time: 0.00)
14.92/15.05	c presolving (51 rounds: 51 fast, 32 medium, 29 exhaustive):
14.92/15.05	c  236 deleted vars, 712 deleted constraints, 531 added constraints, 106 tightened bounds, 0 added holes, 767 changed sides, 3003 changed coefficients
14.92/15.05	c  0 implications, 5383 cliques
14.92/15.05	c presolved problem has 1173 variables (1173 bin, 0 int, 0 impl, 0 cont) and 565 constraints
14.92/15.05	c     190 constraints of type <knapsack>
14.92/15.05	c     166 constraints of type <setppc>
14.92/15.05	c      90 constraints of type <linear>
14.92/15.05	c     119 constraints of type <logicor>
14.92/15.05	c transformed objective value is always integral (scale: 1)
14.92/15.05	c Presolving Time: 0.22
14.92/15.05	c 
14.92/15.05	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
14.92/15.05	c   0.2s|     1 |     0 |   776 |     - |    14M |   0 |1173 | 611 | 565 |   0 |  0 |  45 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   0.4s|     1 |     0 |  1677 |     - |    24M |   0 |1173 | 613 | 644 |  79 |  1 |  47 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   0.4s|     1 |     0 |  1898 |     - |    34M |   0 |1173 | 613 | 724 | 159 |  2 |  47 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   0.6s|     1 |     0 |  2073 |     - |    46M |   0 |1173 | 614 | 806 | 241 |  3 |  48 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   0.7s|     1 |     0 |  2252 |     - |    58M |   0 |1173 | 614 | 881 | 316 |  4 |  48 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   0.8s|     1 |     0 |  2546 |     - |    75M |   0 |1173 | 616 | 954 | 389 |  5 |  50 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   1.0s|     1 |     0 |  2837 |     - |    87M |   0 |1173 | 618 |1026 | 461 |  6 |  52 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   1.1s|     1 |     0 |  3192 |     - |   100M |   0 |1173 | 622 |1092 | 527 |  7 |  56 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   1.4s|     1 |     0 |  3876 |     - |   115M |   0 |1173 | 622 |1155 | 590 |  8 |  56 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   1.6s|     1 |     0 |  4363 |     - |   126M |   0 |1173 | 622 |1219 | 654 |  9 |  56 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   1.8s|     1 |     0 |  4632 |     - |   138M |   0 |1173 | 623 |1278 | 713 | 10 |  57 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   1.9s|     1 |     0 |  5000 |     - |   140M |   0 |1173 | 623 |1338 | 773 | 11 |  57 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   2.2s|     1 |     2 |  5075 |     - |   140M |   0 |1173 | 629 |1338 | 773 | 11 |  63 |  16 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   4.2s|   100 |    67 | 28220 | 234.5 |   147M |  41 |1173 | 820 | 926 |1367 |  0 | 254 |  16 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   5.3s|   200 |    77 | 37565 | 163.6 |   179M |  48 |1173 | 991 | 946 |2233 |  0 | 425 |  16 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
14.92/15.05	c   6.5s|   300 |    97 | 48026 | 143.9 |   192M |  49 |1173 |1190 | 939 |3288 |  1 | 633 |  16 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   7.3s|   400 |   119 | 57078 | 130.5 |   195M |  51 |1173 |1398 | 793 |3888 |  1 | 846 |  16 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   9.1s|   500 |   174 | 72159 | 134.6 |   189M |  51 |1173 |1556 | 896 |5111 |  1 |1010 |  16 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c   9.9s|   600 |   208 | 82980 | 130.2 |   189M |  51 |1173 |1673 | 876 |5569 |  1 |1143 |  16 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c  11.5s|   700 |   212 | 99310 | 134.9 |   187M |  51 |1173 |1794 | 796 |6792 |  1 |1345 |  16 | 0.000000e+00 |      --      |    Inf | unknown
14.92/15.05	c  12.8s|   800 |   233 |112869 | 135.0 |   187M |  51 |1173 |1805 | 793 |8077 |  1 |1449 |  16 | 0.000000e+00 |      --      |    Inf |   1.97%
14.92/15.05	c  14.0s|   900 |   279 |127723 | 136.5 |   188M |  51 |1173 |1766 | 856 |8986 |  1 |1550 |  16 | 0.000000e+00 |      --      |    Inf |   2.04%
14.92/15.05	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
14.92/15.05	c (run 1, node 959) performing user restart
14.92/15.05	c 
14.92/15.05	c (restart) converted 245 cuts from the global cut pool into linear constraints
14.92/15.05	c 
14.92/15.05	c presolving:
14.92/15.05	c (round 1, fast)       0 del vars, 63 del conss, 70 add conss, 0 chg bounds, 11 chg sides, 16 chg coeffs, 0 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 2, fast)       0 del vars, 63 del conss, 70 add conss, 0 chg bounds, 271 chg sides, 426 chg coeffs, 0 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 3, medium)     0 del vars, 63 del conss, 73 add conss, 0 chg bounds, 276 chg sides, 438 chg coeffs, 0 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 4, exhaustive) 0 del vars, 86 del conss, 73 add conss, 0 chg bounds, 280 chg sides, 454 chg coeffs, 0 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 5, exhaustive) 0 del vars, 86 del conss, 73 add conss, 0 chg bounds, 280 chg sides, 469 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 6, fast)       0 del vars, 129 del conss, 73 add conss, 0 chg bounds, 280 chg sides, 499 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 7, medium)     0 del vars, 129 del conss, 75 add conss, 0 chg bounds, 282 chg sides, 513 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 8, exhaustive) 0 del vars, 129 del conss, 75 add conss, 0 chg bounds, 282 chg sides, 606 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 9, exhaustive) 0 del vars, 129 del conss, 75 add conss, 0 chg bounds, 282 chg sides, 693 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 10, exhaustive) 0 del vars, 129 del conss, 75 add conss, 0 chg bounds, 282 chg sides, 778 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 11, exhaustive) 0 del vars, 129 del conss, 75 add conss, 0 chg bounds, 282 chg sides, 862 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 12, exhaustive) 0 del vars, 129 del conss, 75 add conss, 0 chg bounds, 283 chg sides, 939 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 13, exhaustive) 0 del vars, 129 del conss, 75 add conss, 0 chg bounds, 283 chg sides, 1003 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 14, fast)       0 del vars, 130 del conss, 76 add conss, 0 chg bounds, 284 chg sides, 1004 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 15, exhaustive) 0 del vars, 130 del conss, 76 add conss, 0 chg bounds, 284 chg sides, 1056 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 16, exhaustive) 0 del vars, 130 del conss, 76 add conss, 0 chg bounds, 285 chg sides, 1099 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 17, fast)       0 del vars, 131 del conss, 77 add conss, 0 chg bounds, 285 chg sides, 1102 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 18, exhaustive) 0 del vars, 131 del conss, 77 add conss, 0 chg bounds, 285 chg sides, 1131 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 19, fast)       0 del vars, 131 del conss, 77 add conss, 0 chg bounds, 287 chg sides, 1155 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 20, exhaustive) 0 del vars, 131 del conss, 77 add conss, 0 chg bounds, 287 chg sides, 1176 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 21, exhaustive) 0 del vars, 259 del conss, 77 add conss, 0 chg bounds, 287 chg sides, 1544 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 22, exhaustive) 0 del vars, 266 del conss, 77 add conss, 0 chg bounds, 287 chg sides, 1555 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c (round 23, exhaustive) 0 del vars, 266 del conss, 77 add conss, 0 chg bounds, 287 chg sides, 1579 chg coeffs, 291 upgd conss, 0 impls, 5383 clqs
14.92/15.05	c presolving (24 rounds: 24 fast, 18 medium, 16 exhaustive):
58.30/58.58	c  0 deleted vars, 266 deleted constraints, 77 added constraints, 0 tightened bounds, 0 added holes, 287 changed sides, 1583 changed coefficients
58.30/58.58	c  0 implications, 5383 cliques
58.30/58.58	c presolved problem has 1173 variables (1173 bin, 0 int, 0 impl, 0 cont) and 1867 constraints
58.30/58.58	c     288 constraints of type <knapsack>
58.30/58.58	c     322 constraints of type <setppc>
58.30/58.58	c     120 constraints of type <linear>
58.30/58.58	c    1137 constraints of type <logicor>
58.30/58.58	c transformed objective value is always integral (scale: 1)
58.30/58.58	c Presolving Time: 0.29
58.30/58.58	c 
58.30/58.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
58.30/58.58	c  15.0s|     1 |     0 |137472 |     - |   185M |   0 |1173 |1869 | 808 |   0 |  0 |1653 |  16 | 0.000000e+00 |      --      |    Inf | unknown
58.30/58.58	c  15.1s|     1 |     0 |137877 |     - |   186M |   0 |1173 |1869 | 893 |  85 |  1 |1653 |  16 | 0.000000e+00 |      --      |    Inf | unknown
58.30/58.58	c  15.2s|     1 |     0 |138407 |     - |   186M |   0 |1173 |1871 | 968 | 160 |  2 |1655 |  16 | 0.000000e+00 |      --      |    Inf | unknown
58.30/58.58	c  15.4s|     1 |     0 |138603 |     - |   186M |   0 |1173 |1873 |1048 | 240 |  3 |1657 |  16 | 0.000000e+00 |      --      |    Inf | unknown
58.30/58.58	c  15.5s|     1 |     0 |138846 |     - |   186M |   0 |1173 |1874 |1125 | 317 |  4 |1658 |  16 | 0.000000e+00 |      --      |    Inf | unknown
58.30/58.58	c  15.6s|     1 |     0 |139223 |     - |   186M |   0 |1173 |1874 |1188 | 380 |  5 |1658 |  16 | 0.000000e+00 |      --      |    Inf | unknown
58.30/58.58	c  15.8s|     1 |     0 |139451 |     - |   186M |   0 |1173 |1876 |1262 | 454 |  6 |1660 |  16 | 0.000000e+00 |      --      |    Inf | unknown
58.30/58.58	c  16.1s|     1 |     0 |140011 |     - |   189M |   0 |1173 |1877 |1327 | 519 |  7 |1661 |  16 | 0.000000e+00 |      --      |    Inf | unknown
58.30/58.58	c  16.3s|     1 |     0 |140752 |     - |   197M |   0 |1173 |1877 |1388 | 580 |  8 |1661 |  16 | 0.000000e+00 |      --      |    Inf | unknown
58.30/58.58	c  16.6s|     1 |     0 |141267 |     - |   200M |   0 |1173 |1878 |1453 | 645 |  9 |1662 |  16 | 0.000000e+00 |      --      |    Inf | unknown
58.30/58.58	c  16.9s|     1 |     0 |141812 |     - |   201M |   0 |1173 |1878 |1512 | 704 | 10 |1662 |  16 | 0.000000e+00 |      --      |    Inf | unknown
58.30/58.58	c  17.1s|     1 |     0 |142737 |     - |   201M |   0 |1173 |1878 |1565 | 757 | 11 |1662 |  16 | 0.000000e+00 |      --      |    Inf | unknown
58.30/58.58	c  18.1s|     1 |     2 |144090 |     - |   201M |   0 |1173 |1880 |1565 | 757 | 11 |1665 |  31 | 0.000000e+00 |      --      |    Inf | unknown
58.30/58.58	c  19.7s|   100 |    26 |160400 | 140.8 |   202M |  37 |1173 |1993 | 834 |1049 |  1 |1786 |  31 | 0.000000e+00 |      --      |    Inf | unknown
58.30/58.58	c  21.9s|   200 |    25 |185201 | 150.1 |   203M |  37 |1173 |2122 |   0 |1384 |  0 |1928 |  31 | 0.000000e+00 |      --      |    Inf |   1.37%
58.30/58.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
58.30/58.58	c  23.2s|   300 |    36 |200064 | 150.0 |   203M |  37 |1173 |2266 | 834 |1691 |  0 |2085 |  31 | 0.000000e+00 |      --      |    Inf |   1.71%
58.30/58.58	c  24.0s|   400 |    31 |206590 | 143.7 |   203M |  37 |1173 |2409 | 834 |1691 |  1 |2263 |  31 | 0.000000e+00 |      --      |    Inf |   1.81%
58.30/58.58	c  25.0s|   500 |    26 |219227 | 142.5 |   205M |  37 |1173 |2514 | 861 |1799 |  1 |2430 |  31 | 0.000000e+00 |      --      |    Inf |   2.16%
58.30/58.58	c  26.9s|   600 |    36 |239978 | 146.7 |   203M |  37 |1173 |2417 | 860 |2296 |  1 |2484 |  31 | 0.000000e+00 |      --      |    Inf |   8.07%
58.30/58.58	c  28.2s|   700 |    50 |253012 | 145.7 |   204M |  49 |1173 |2502 | 944 |2793 |  0 |2631 |  31 | 0.000000e+00 |      --      |    Inf |   8.08%
58.30/58.58	c  29.3s|   800 |    52 |268081 | 146.0 |   204M |  49 |1173 |2659 |   0 |3042 |  0 |2855 |  31 | 0.000000e+00 |      --      |    Inf |   8.08%
58.30/58.58	c  30.1s|   900 |    56 |278971 | 144.0 |   205M |  49 |1173 |2784 | 952 |3487 |  0 |3034 |  31 | 0.000000e+00 |      --      |    Inf |   8.08%
58.30/58.58	c  31.1s|  1000 |    52 |291882 | 143.2 |   205M |  49 |1173 |2807 | 917 |4040 |  1 |3185 |  31 | 0.000000e+00 |      --      |    Inf |   8.08%
58.30/58.58	c  31.9s|  1100 |    52 |303146 | 141.8 |   205M |  49 |1173 |2934 |   0 |4493 |  0 |3332 |  31 | 0.000000e+00 |      --      |    Inf |   8.08%
58.30/58.58	c  32.8s|  1200 |    54 |315960 | 141.1 |   206M |  49 |1173 |2952 | 987 |5118 |  2 |3508 |  31 | 0.000000e+00 |      --      |    Inf |   8.08%
58.30/58.58	c  33.7s|  1300 |    57 |326780 | 139.7 |   206M |  49 |1173 |2984 | 956 |5621 |  1 |3622 |  31 | 0.000000e+00 |      --      |    Inf |   8.08%
58.30/58.58	c  34.1s|  1400 |    48 |332234 | 136.1 |   206M |  49 |1173 |3036 |   0 |5675 |  0 |3693 |  31 | 0.000000e+00 |      --      |    Inf |   8.08%
58.30/58.58	c  34.9s|  1500 |    51 |342727 | 134.8 |   206M |  49 |1173 |3088 | 977 |6082 |  1 |3778 |  31 | 0.000000e+00 |      --      |    Inf |   8.08%
58.30/58.58	c  35.9s|  1600 |    58 |355212 | 134.4 |   206M |  49 |1173 |3083 | 910 |6532 |  1 |3938 |  31 | 0.000000e+00 |      --      |    Inf |   8.09%
58.30/58.58	c  36.6s|  1700 |    48 |365306 | 133.1 |   206M |  49 |1173 |3087 | 860 |6949 |  1 |4040 |  31 | 0.000000e+00 |      --      |    Inf |   8.09%
58.30/58.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
58.30/58.58	c  37.6s|  1800 |    57 |378466 | 133.1 |   206M |  49 |1173 |3126 | 931 |7483 |  0 |4136 |  31 | 0.000000e+00 |      --      |    Inf |   8.09%
58.30/58.58	c  38.5s|  1900 |    48 |391437 | 133.0 |   207M |  49 |1173 |3184 | 958 |7876 |  1 |4257 |  31 | 0.000000e+00 |      --      |    Inf |   8.09%
58.30/58.58	c  39.2s|  2000 |    56 |399727 | 131.3 |   207M |  49 |1173 |3260 |   0 |8303 |  0 |4374 |  31 | 0.000000e+00 |      --      |    Inf |   8.09%
58.30/58.58	c  39.8s|  2100 |    45 |408358 | 129.8 |   207M |  49 |1173 |3345 |   0 |8550 |  0 |4506 |  31 | 0.000000e+00 |      --      |    Inf |   8.09%
58.30/58.58	c  40.4s|  2200 |    40 |416732 | 128.3 |   207M |  49 |1173 |3380 |   0 |8651 |  0 |4600 |  31 | 0.000000e+00 |      --      |    Inf |   8.09%
58.30/58.58	c  41.0s|  2300 |    38 |425710 | 127.2 |   207M |  49 |1173 |3393 |   0 |8956 |  0 |4712 |  31 | 0.000000e+00 |      --      |    Inf |   8.09%
58.30/58.58	c  43.0s|  2400 |    49 |448214 | 130.1 |   207M |  49 |1173 |3238 | 914 |9706 |  1 |4818 |  31 | 0.000000e+00 |      --      |    Inf |   8.12%
58.30/58.58	c  44.0s|  2500 |    46 |463093 | 130.6 |   207M |  49 |1173 |3213 |   0 |  10k|  0 |4891 |  31 | 0.000000e+00 |      --      |    Inf |   8.12%
58.30/58.58	c  45.4s|  2600 |    47 |481477 | 132.1 |   207M |  49 |1173 |3210 | 915 |  10k|  1 |5001 |  31 | 0.000000e+00 |      --      |    Inf |   8.14%
58.30/58.58	c  46.5s|  2700 |    54 |495010 | 132.2 |   208M |  49 |1173 |3056 | 846 |  11k|  1 |5067 |  31 | 0.000000e+00 |      --      |    Inf |   8.18%
58.30/58.58	c  48.1s|  2800 |    73 |513905 | 133.7 |   208M |  49 |1173 |2754 | 914 |  11k|  1 |5151 |  31 | 0.000000e+00 |      --      |    Inf |  12.10%
58.30/58.58	c  49.1s|  2900 |    70 |527344 | 133.7 |   208M |  49 |1173 |2855 | 855 |  12k|  1 |5293 |  31 | 0.000000e+00 |      --      |    Inf |  12.10%
58.30/58.58	c  50.2s|  3000 |    77 |541169 | 133.8 |   208M |  49 |1173 |2782 | 863 |  13k|  1 |5367 |  31 | 0.000000e+00 |      --      |    Inf |  12.16%
58.30/58.58	c  51.6s|  3100 |   105 |558145 | 134.7 |   208M |  49 |1173 |2620 | 855 |  13k|  1 |5472 |  31 | 0.000000e+00 |      --      |    Inf |  12.25%
58.30/58.58	c  52.9s|  3200 |   118 |575406 | 135.6 |   209M |  49 |1173 |2579 |   0 |  14k|  0 |5582 |  31 | 0.000000e+00 |      --      |    Inf |  12.28%
58.30/58.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
58.30/58.58	c  54.8s|  3300 |   157 |599624 | 138.1 |   209M |  49 |1173 |2489 | 806 |  15k|  0 |5697 |  31 | 0.000000e+00 |      --      |    Inf |  12.58%
58.30/58.58	c  55.9s|  3400 |   154 |615989 | 138.7 |   209M |  49 |1173 |2586 |   0 |  15k|  0 |5866 |  31 | 0.000000e+00 |      --      |    Inf |  12.62%
58.30/58.58	c  57.0s|  3500 |   156 |631218 | 139.0 |   209M |  49 |1173 |2659 |   0 |  15k|  0 |5969 |  31 | 0.000000e+00 |      --      |    Inf |  12.62%
125.41/125.88	c  58.4s|  3600 |   161 |651659 | 140.5 |   209M |  49 |1173 |2765 | 914 |  16k|  1 |6091 |  31 | 0.000000e+00 |      --      |    Inf |  12.62%
125.41/125.88	c  59.4s|  3700 |   160 |666265 | 140.6 |   209M |  49 |1173 |2852 | 963 |  16k|  2 |6197 |  31 | 0.000000e+00 |      --      |    Inf |  12.62%
125.41/125.88	c  60.5s|  3800 |   158 |681929 | 140.9 |   209M |  49 |1173 |2862 |   0 |  16k|  0 |6300 |  31 | 0.000000e+00 |      --      |    Inf |  12.97%
125.41/125.88	c  61.4s|  3900 |   174 |694547 | 140.6 |   209M |  49 |1173 |2893 |   0 |  17k|  0 |6384 |  31 | 0.000000e+00 |      --      |    Inf |  13.12%
125.41/125.88	c  63.0s|  4000 |   198 |714344 | 141.8 |   209M |  49 |1173 |2921 | 927 |  18k|  1 |6540 |  31 | 0.000000e+00 |      --      |    Inf |  13.28%
125.41/125.88	c  64.1s|  4100 |   215 |726951 | 141.5 |   209M |  49 |1173 |2982 | 963 |  18k|  1 |6666 |  31 | 0.000000e+00 |      --      |    Inf |  13.32%
125.41/125.88	c  65.6s|  4200 |   230 |747727 | 142.8 |   210M |  49 |1173 |3024 | 940 |  19k|  1 |6754 |  31 | 0.000000e+00 |      --      |    Inf |  13.37%
125.41/125.88	c  67.0s|  4300 |   206 |765865 | 143.5 |   210M |  49 |1173 |3030 |   0 |  19k|  0 |6895 |  31 | 0.000000e+00 |      --      |    Inf |  13.87%
125.41/125.88	c  68.0s|  4400 |   210 |779732 | 143.4 |   210M |  49 |1173 |3099 | 975 |  20k|  0 |7032 |  31 | 0.000000e+00 |      --      |    Inf |  13.89%
125.41/125.88	c  69.9s|  4500 |   218 |803339 | 145.1 |   210M |  49 |1173 |3059 | 776 |  20k|  1 |7186 |  31 | 0.000000e+00 |      --      |    Inf |  14.93%
125.41/125.88	c  71.7s|  4600 |   235 |827944 | 146.9 |   210M |  49 |1173 |2994 |   0 |  21k|  0 |7272 |  31 | 0.000000e+00 |      --      |    Inf |  15.23%
125.41/125.88	c  73.0s|  4700 |   236 |845902 | 147.5 |   210M |  49 |1173 |3011 | 916 |  21k|  1 |7370 |  31 | 0.000000e+00 |      --      |    Inf |  15.40%
125.41/125.88	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
125.41/125.88	c  74.0s|  4800 |   236 |860484 | 147.5 |   210M |  49 |1173 |3078 | 939 |  22k|  2 |7471 |  31 | 0.000000e+00 |      --      |    Inf |  15.40%
125.41/125.88	c  74.9s|  4900 |   240 |873831 | 147.2 |   210M |  49 |1173 |3137 | 916 |  22k|  1 |7557 |  31 | 0.000000e+00 |      --      |    Inf |  15.40%
125.41/125.88	c  75.5s|  5000 |   235 |881956 | 146.1 |   211M |  49 |1173 |3216 | 923 |  23k|  1 |7672 |  31 | 0.000000e+00 |      --      |    Inf |  15.40%
125.41/125.88	c  76.9s|  5100 |   235 |899642 | 146.6 |   211M |  49 |1173 |3261 | 992 |  23k|  2 |7796 |  31 | 0.000000e+00 |      --      |    Inf |  15.56%
125.41/125.88	c  78.3s|  5200 |   234 |920913 | 147.7 |   211M |  49 |1173 |3341 | 957 |  24k|  1 |7922 |  31 | 0.000000e+00 |      --      |    Inf |  15.56%
125.41/125.88	c  80.1s|  5300 |   246 |947126 | 149.5 |   211M |  49 |1173 |3115 | 844 |  24k|  1 |7987 |  31 | 0.000000e+00 |      --      |    Inf |  15.94%
125.41/125.88	c  80.9s|  5400 |   260 |960831 | 149.3 |   211M |  49 |1173 |3171 | 923 |  25k|  0 |8083 |  31 | 0.000000e+00 |      --      |    Inf |  16.00%
125.41/125.88	c  81.8s|  5500 |   252 |973757 | 149.0 |   211M |  49 |1173 |3251 | 883 |  25k|  1 |8224 |  31 | 0.000000e+00 |      --      |    Inf |  16.00%
125.41/125.88	c  82.7s|  5600 |   238 |986977 | 148.8 |   211M |  49 |1173 |3279 | 883 |  25k|  1 |8327 |  31 | 0.000000e+00 |      --      |    Inf |  16.00%
125.41/125.88	c  83.7s|  5700 |   235 |  1002k| 148.9 |   211M |  49 |1173 |3367 | 897 |  25k|  0 |8456 |  31 | 0.000000e+00 |      --      |    Inf |  16.00%
125.41/125.88	c  84.8s|  5800 |   237 |  1019k| 149.2 |   211M |  49 |1173 |3403 |   0 |  26k|  0 |8536 |  31 | 0.000000e+00 |      --      |    Inf |  16.02%
125.41/125.88	c  86.2s|  5900 |   230 |  1041k| 150.2 |   211M |  49 |1173 |3479 | 852 |  26k|  1 |8657 |  31 | 0.000000e+00 |      --      |    Inf |  16.02%
125.41/125.88	c  87.2s|  6000 |   238 |  1056k| 150.2 |   211M |  49 |1173 |3461 | 896 |  27k|  1 |8748 |  31 | 0.000000e+00 |      --      |    Inf |  16.23%
125.41/125.88	c  88.9s|  6100 |   269 |  1078k| 151.1 |   212M |  49 |1173 |3332 |   0 |  27k|  0 |8874 |  31 | 0.000000e+00 |      --      |    Inf |  16.26%
125.41/125.88	c  90.4s|  6200 |   272 |  1099k| 152.0 |   212M |  49 |1173 |3377 | 968 |  28k|  1 |8977 |  31 | 0.000000e+00 |      --      |    Inf |  16.26%
125.41/125.88	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
125.41/125.88	c  91.6s|  6300 |   275 |  1115k| 152.2 |   212M |  49 |1173 |3449 |   0 |  28k|  0 |9085 |  31 | 0.000000e+00 |      --      |    Inf |  16.26%
125.41/125.88	c  93.1s|  6400 |   287 |  1135k| 152.7 |   212M |  49 |1173 |3499 |   0 |  29k|  0 |9199 |  31 | 0.000000e+00 |      --      |    Inf |  16.26%
125.41/125.88	c  94.1s|  6500 |   285 |  1149k| 152.6 |   212M |  49 |1173 |3543 | 962 |  29k|  1 |9304 |  31 | 0.000000e+00 |      --      |    Inf |  16.26%
125.41/125.88	c  96.0s|  6600 |   282 |  1177k| 154.3 |   212M |  49 |1173 |3583 | 950 |  29k|  1 |9439 |  31 | 0.000000e+00 |      --      |    Inf |  16.27%
125.41/125.88	c  97.7s|  6700 |   287 |  1200k| 155.2 |   212M |  49 |1173 |3586 | 902 |  30k|  1 |9577 |  31 | 0.000000e+00 |      --      |    Inf |  16.27%
125.41/125.88	c  99.2s|  6800 |   285 |  1221k| 155.9 |   212M |  49 |1173 |3584 | 961 |  30k|  1 |9688 |  31 | 0.000000e+00 |      --      |    Inf |  16.28%
125.41/125.88	c   100s|  6900 |   278 |  1232k| 155.5 |   212M |  49 |1173 |3357 | 806 |  30k|  1 |9761 |  31 | 0.000000e+00 |      --      |    Inf |  16.41%
125.41/125.88	c   102s|  7000 |   271 |  1255k| 156.4 |   212M |  49 |1173 |3229 | 899 |  31k|  1 |9852 |  31 | 0.000000e+00 |      --      |    Inf |  16.46%
125.41/125.88	c   103s|  7100 |   267 |  1275k| 156.9 |   212M |  49 |1173 |3332 | 899 |  31k|  1 |  10k|  31 | 0.000000e+00 |      --      |    Inf |  16.47%
125.41/125.88	c   104s|  7200 |   270 |  1294k| 157.2 |   212M |  49 |1173 |3404 | 899 |  32k|  1 |  10k|  31 | 0.000000e+00 |      --      |    Inf |  16.50%
125.41/125.88	c   106s|  7300 |   270 |  1314k| 157.8 |   212M |  49 |1173 |3427 | 967 |  32k|  1 |  10k|  31 | 0.000000e+00 |      --      |    Inf |  16.53%
125.41/125.88	c   107s|  7400 |   266 |  1329k| 157.8 |   213M |  49 |1173 |3473 | 966 |  32k|  1 |  10k|  31 | 0.000000e+00 |      --      |    Inf |  16.60%
125.41/125.88	c   108s|  7500 |   268 |  1347k| 157.9 |   213M |  49 |1173 |3466 | 927 |  33k|  1 |  10k|  31 | 0.000000e+00 |      --      |    Inf |  16.61%
125.41/125.88	c   109s|  7600 |   271 |  1365k| 158.2 |   213M |  49 |1173 |3394 | 927 |  33k|  1 |  10k|  31 | 0.000000e+00 |      --      |    Inf |  16.87%
125.41/125.88	c   111s|  7700 |   284 |  1391k| 159.4 |   213M |  49 |1173 |3432 |   0 |  33k|  0 |  10k|  31 | 0.000000e+00 |      --      |    Inf |  16.88%
125.41/125.88	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
125.41/125.88	c   113s|  7800 |   298 |  1411k| 159.9 |   213M |  49 |1173 |3480 | 901 |  34k|  1 |  10k|  31 | 0.000000e+00 |      --      |    Inf |  16.88%
125.41/125.88	c   113s|  7900 |   299 |  1422k| 159.3 |   213M |  49 |1173 |3565 | 940 |  34k|  1 |  10k|  31 | 0.000000e+00 |      --      |    Inf |  16.88%
125.41/125.88	c   115s|  8000 |   292 |  1440k| 159.5 |   213M |  49 |1173 |3601 | 901 |  35k|  1 |  11k|  31 | 0.000000e+00 |      --      |    Inf |  16.89%
125.41/125.88	c   116s|  8100 |   282 |  1454k| 159.3 |   213M |  49 |1173 |3693 | 916 |  35k|  1 |  11k|  31 | 0.000000e+00 |      --      |    Inf |  16.89%
125.41/125.88	c   116s|  8200 |   281 |  1465k| 158.8 |   213M |  49 |1173 |3749 |1015 |  35k|  1 |  11k|  31 | 0.000000e+00 |      --      |    Inf |  16.89%
125.41/125.88	c   118s|  8300 |   284 |  1487k| 159.4 |   213M |  49 |1173 |3569 | 942 |  36k|  0 |  11k|  31 | 0.000000e+00 |      --      |    Inf |  17.50%
125.41/125.88	c   120s|  8400 |   284 |  1511k| 160.3 |   213M |  49 |1173 |3536 | 954 |  36k|  1 |  11k|  31 | 0.000000e+00 |      --      |    Inf |  17.52%
125.41/125.88	c   121s|  8500 |   289 |  1533k| 160.9 |   213M |  49 |1173 |3426 |   0 |  37k|  0 |  11k|  31 | 0.000000e+00 |      --      |    Inf |  17.54%
125.41/125.88	c   122s|  8600 |   290 |  1546k| 160.6 |   213M |  49 |1173 |3500 |   0 |  37k|  0 |  11k|  31 | 0.000000e+00 |      --      |    Inf |  17.54%
125.41/125.88	c   123s|  8700 |   285 |  1557k| 160.1 |   213M |  49 |1173 |3512 | 927 |  37k|  1 |  11k|  31 | 0.000000e+00 |      --      |    Inf |  17.60%
125.41/125.88	c   124s|  8800 |   291 |  1579k| 160.6 |   213M |  49 |1173 |3392 | 927 |  38k|  1 |  11k|  31 | 0.000000e+00 |      --      |    Inf |  17.62%
188.92/189.56	c   126s|  8900 |   292 |  1597k| 160.9 |   213M |  49 |1173 |3381 |   0 |  38k|  0 |  12k|  31 | 0.000000e+00 |      --      |    Inf |  17.69%
188.92/189.56	c   127s|  9000 |   307 |  1614k| 161.0 |   213M |  49 |1173 |3335 |   0 |  38k|  0 |  12k|  31 | 0.000000e+00 |      --      |    Inf |  17.79%
188.92/189.56	c   128s|  9100 |   317 |  1628k| 160.8 |   213M |  49 |1173 |3426 |   0 |  39k|  0 |  12k|  31 | 0.000000e+00 |      --      |    Inf |  17.79%
188.92/189.56	c   128s|  9200 |   318 |  1636k| 160.0 |   213M |  49 |1173 |3546 | 918 |  39k|  0 |  12k|  31 | 0.000000e+00 |      --      |    Inf |  17.79%
188.92/189.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
188.92/189.56	c   129s|  9300 |   314 |  1646k| 159.4 |   213M |  49 |1173 |3639 | 850 |  39k|  1 |  12k|  31 | 0.000000e+00 |      --      |    Inf |  17.79%
188.92/189.56	c   130s|  9400 |   317 |  1656k| 158.8 |   213M |  49 |1173 |3842 | 892 |  39k|  1 |  12k|  31 | 0.000000e+00 |      --      |    Inf |  17.79%
188.92/189.56	c   131s|  9500 |   310 |  1670k| 158.7 |   213M |  49 |1173 |3911 |   0 |  40k|  0 |  12k|  31 | 0.000000e+00 |      --      |    Inf |  17.79%
188.92/189.56	c   132s|  9600 |   312 |  1685k| 158.5 |   213M |  49 |1173 |3933 | 891 |  40k|  1 |  12k|  31 | 0.000000e+00 |      --      |    Inf |  17.79%
188.92/189.56	c   133s|  9700 |   312 |  1695k| 158.0 |   214M |  49 |1173 |3988 | 938 |  40k|  2 |  13k|  31 | 0.000000e+00 |      --      |    Inf |  17.79%
188.92/189.56	c   134s|  9800 |   312 |  1710k| 157.9 |   214M |  49 |1173 |3967 | 890 |  40k|  0 |  13k|  31 | 0.000000e+00 |      --      |    Inf |  17.80%
188.92/189.56	c   135s|  9900 |   316 |  1727k| 158.0 |   214M |  49 |1173 |4031 |   0 |  41k|  0 |  13k|  31 | 0.000000e+00 |      --      |    Inf |  17.80%
188.92/189.56	c   136s| 10000 |   314 |  1739k| 157.7 |   214M |  49 |1173 |4099 | 934 |  41k|  2 |  13k|  31 | 0.000000e+00 |      --      |    Inf |  17.80%
188.92/189.56	c   137s| 10100 |   317 |  1756k| 157.8 |   214M |  49 |1173 |4141 | 963 |  41k|  1 |  13k|  31 | 0.000000e+00 |      --      |    Inf |  17.80%
188.92/189.56	c   138s| 10200 |   308 |  1773k| 157.9 |   214M |  49 |1173 |4250 | 862 |  42k|  2 |  13k|  31 | 0.000000e+00 |      --      |    Inf |  17.83%
188.92/189.56	c   140s| 10300 |   315 |  1794k| 158.3 |   214M |  49 |1173 |4123 | 983 |  42k|  1 |  13k|  31 | 0.000000e+00 |      --      |    Inf |  17.96%
188.92/189.56	c   141s| 10400 |   316 |  1814k| 158.7 |   214M |  49 |1173 |4108 | 907 |  43k|  1 |  14k|  31 | 0.000000e+00 |      --      |    Inf |  17.96%
188.92/189.56	c   143s| 10500 |   315 |  1833k| 159.0 |   214M |  49 |1173 |4021 | 904 |  43k|  0 |  14k|  31 | 0.000000e+00 |      --      |    Inf |  17.97%
188.92/189.56	c   144s| 10600 |   307 |  1852k| 159.3 |   214M |  49 |1173 |4084 |   0 |  44k|  0 |  14k|  31 | 0.000000e+00 |      --      |    Inf |  17.97%
188.92/189.56	c   146s| 10700 |   320 |  1879k| 160.2 |   215M |  49 |1173 |4000 | 970 |  44k|  1 |  14k|  31 | 0.000000e+00 |      --      |    Inf |  18.06%
188.92/189.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
188.92/189.56	c   147s| 10800 |   321 |  1895k| 160.2 |   215M |  49 |1173 |4051 | 964 |  45k|  1 |  14k|  31 | 0.000000e+00 |      --      |    Inf |  18.08%
188.92/189.56	c   148s| 10900 |   313 |  1913k| 160.4 |   215M |  49 |1173 |4121 |   0 |  45k|  0 |  14k|  31 | 0.000000e+00 |      --      |    Inf |  18.08%
188.92/189.56	c   150s| 11000 |   312 |  1931k| 160.6 |   215M |  49 |1173 |4090 | 896 |  46k|  1 |  14k|  31 | 0.000000e+00 |      --      |    Inf |  18.21%
188.92/189.56	c   151s| 11100 |   311 |  1944k| 160.3 |   215M |  49 |1173 |4072 | 911 |  46k|  1 |  14k|  31 | 0.000000e+00 |      --      |    Inf |  18.21%
188.92/189.56	c   151s| 11200 |   312 |  1954k| 159.8 |   215M |  49 |1173 |4110 | 847 |  46k|  0 |  15k|  31 | 0.000000e+00 |      --      |    Inf |  18.21%
188.92/189.56	c   152s| 11300 |   315 |  1968k| 159.7 |   215M |  49 |1173 |4189 | 968 |  47k|  2 |  15k|  31 | 0.000000e+00 |      --      |    Inf |  18.22%
188.92/189.56	c   153s| 11400 |   310 |  1979k| 159.3 |   215M |  49 |1173 |4268 |   0 |  47k|  0 |  15k|  31 | 0.000000e+00 |      --      |    Inf |  18.22%
188.92/189.56	c   154s| 11500 |   313 |  1995k| 159.2 |   215M |  49 |1173 |4315 | 914 |  47k|  1 |  15k|  31 | 0.000000e+00 |      --      |    Inf |  18.22%
188.92/189.56	c   155s| 11600 |   314 |  2008k| 159.1 |   215M |  49 |1173 |4347 | 896 |  48k|  1 |  15k|  31 | 0.000000e+00 |      --      |    Inf |  18.23%
188.92/189.56	c   157s| 11700 |   310 |  2027k| 159.3 |   215M |  49 |1173 |4441 |   0 |  48k|  0 |  15k|  31 | 0.000000e+00 |      --      |    Inf |  18.23%
188.92/189.56	c   157s| 11800 |   306 |  2040k| 159.1 |   215M |  49 |1173 |4489 |   0 |  49k|  0 |  15k|  31 | 0.000000e+00 |      --      |    Inf |  18.23%
188.92/189.56	c   159s| 11900 |   300 |  2062k| 159.5 |   215M |  49 |1173 |4473 |   0 |  49k|  0 |  15k|  31 | 0.000000e+00 |      --      |    Inf |  18.30%
188.92/189.56	c   161s| 12000 |   319 |  2097k| 161.0 |   215M |  49 |1173 |4391 | 951 |  50k|  1 |  15k|  31 | 0.000000e+00 |      --      |    Inf |  18.31%
188.92/189.56	c   163s| 12100 |   318 |  2117k| 161.2 |   216M |  49 |1173 |4491 |1028 |  50k|  0 |  16k|  31 | 0.000000e+00 |      --      |    Inf |  18.31%
188.92/189.56	c   164s| 12200 |   313 |  2132k| 161.2 |   216M |  54 |1173 |4554 | 996 |  50k|  2 |  16k|  31 | 0.000000e+00 |      --      |    Inf |  18.31%
188.92/189.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
188.92/189.56	c   166s| 12300 |   308 |  2158k| 161.9 |   216M |  54 |1173 |4526 | 912 |  51k|  1 |  16k|  31 | 0.000000e+00 |      --      |    Inf |  18.32%
188.92/189.56	c   167s| 12400 |   316 |  2184k| 162.7 |   216M |  54 |1173 |4574 |   0 |  51k|  0 |  16k|  31 | 0.000000e+00 |      --      |    Inf |  18.32%
188.92/189.56	c   169s| 12500 |   304 |  2209k| 163.3 |   216M |  54 |1173 |4460 |   0 |  52k|  0 |  16k|  31 | 0.000000e+00 |      --      |    Inf |  18.43%
188.92/189.56	c   170s| 12600 |   300 |  2219k| 162.9 |   216M |  54 |1173 |4413 |   0 |  52k|  0 |  16k|  31 | 0.000000e+00 |      --      |    Inf |  18.46%
188.92/189.56	c   171s| 12700 |   309 |  2237k| 163.0 |   216M |  54 |1173 |4411 | 986 |  53k|  1 |  16k|  31 | 0.000000e+00 |      --      |    Inf |  18.50%
188.92/189.56	c   173s| 12800 |   307 |  2255k| 163.1 |   216M |  54 |1173 |4434 | 945 |  53k|  0 |  17k|  31 | 0.000000e+00 |      --      |    Inf |  18.51%
188.92/189.56	c   174s| 12900 |   314 |  2275k| 163.4 |   216M |  54 |1173 |4388 |   0 |  53k|  0 |  17k|  31 | 0.000000e+00 |      --      |    Inf |  18.53%
188.92/189.56	c   176s| 13000 |   331 |  2300k| 164.0 |   216M |  54 |1173 |4383 | 976 |  54k|  0 |  17k|  31 | 0.000000e+00 |      --      |    Inf |  18.53%
188.92/189.56	c   177s| 13100 |   333 |  2320k| 164.3 |   217M |  54 |1173 |4468 |   0 |  54k|  0 |  17k|  31 | 0.000000e+00 |      --      |    Inf |  18.53%
188.92/189.56	c   179s| 13200 |   320 |  2342k| 164.6 |   217M |  54 |1173 |4471 | 962 |  55k|  1 |  17k|  31 | 0.000000e+00 |      --      |    Inf |  18.53%
188.92/189.56	c   180s| 13300 |   315 |  2357k| 164.6 |   217M |  54 |1173 |4492 | 916 |  55k|  1 |  17k|  31 | 0.000000e+00 |      --      |    Inf |  18.53%
188.92/189.56	c   181s| 13400 |   321 |  2373k| 164.5 |   217M |  54 |1173 |4568 |   0 |  56k|  0 |  17k|  31 | 0.000000e+00 |      --      |    Inf |  18.53%
188.92/189.56	c   182s| 13500 |   312 |  2390k| 164.6 |   217M |  54 |1173 |4632 | 958 |  56k|  1 |  18k|  31 | 0.000000e+00 |      --      |    Inf |  18.53%
188.92/189.56	c   183s| 13600 |   314 |  2410k| 164.8 |   217M |  54 |1173 |4621 | 963 |  56k|  1 |  18k|  31 | 0.000000e+00 |      --      |    Inf |  18.53%
188.92/189.56	c   185s| 13700 |   312 |  2429k| 164.9 |   217M |  54 |1173 |4687 | 901 |  57k|  1 |  18k|  31 | 0.000000e+00 |      --      |    Inf |  18.53%
188.92/189.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
188.92/189.56	c   186s| 13800 |   318 |  2448k| 165.1 |   217M |  54 |1173 |4710 |   0 |  57k|  0 |  18k|  31 | 0.000000e+00 |      --      |    Inf |  18.53%
188.92/189.56	c   187s| 13900 |   311 |  2468k| 165.4 |   217M |  54 |1173 |4765 | 927 |  57k|  2 |  18k|  31 | 0.000000e+00 |      --      |    Inf |  18.53%
188.92/189.56	c   188s| 14000 |   322 |  2485k| 165.4 |   217M |  54 |1173 |4850 |   0 |  58k|  0 |  18k|  31 | 0.000000e+00 |      --      |    Inf |  18.53%
269.00/269.83	c   189s| 14100 |   314 |  2501k| 165.4 |   217M |  54 |1173 |4933 | 916 |  58k|  1 |  18k|  31 | 0.000000e+00 |      --      |    Inf |  18.53%
269.00/269.83	c   190s| 14200 |   309 |  2516k| 165.3 |   217M |  54 |1173 |5076 |   0 |  58k|  0 |  18k|  31 | 0.000000e+00 |      --      |    Inf |  18.54%
269.00/269.83	c   191s| 14300 |   310 |  2528k| 164.9 |   217M |  54 |1173 |5163 |   0 |  58k|  0 |  18k|  31 | 0.000000e+00 |      --      |    Inf |  18.54%
269.00/269.83	c   192s| 14400 |   309 |  2548k| 165.2 |   217M |  54 |1173 |5175 |   0 |  59k|  0 |  19k|  31 | 0.000000e+00 |      --      |    Inf |  18.54%
269.00/269.83	c   195s| 14500 |   311 |  2593k| 167.1 |   218M |  54 |1173 |5023 | 871 |  59k|  1 |  19k|  31 | 0.000000e+00 |      --      |    Inf |  18.58%
269.00/269.83	c   197s| 14600 |   325 |  2612k| 167.2 |   218M |  54 |1173 |4937 | 944 |  59k|  1 |  19k|  31 | 0.000000e+00 |      --      |    Inf |  19.37%
269.00/269.83	c   198s| 14700 |   348 |  2636k| 167.7 |   218M |  54 |1173 |4950 | 963 |  60k|  1 |  19k|  31 | 0.000000e+00 |      --      |    Inf |  19.37%
269.00/269.83	c   200s| 14800 |   361 |  2653k| 167.6 |   218M |  54 |1173 |5047 |   0 |  60k|  0 |  19k|  31 | 0.000000e+00 |      --      |    Inf |  19.38%
269.00/269.83	c   202s| 14900 |   354 |  2685k| 168.6 |   218M |  54 |1173 |5093 | 974 |  61k|  1 |  19k|  31 | 0.000000e+00 |      --      |    Inf |  19.38%
269.00/269.83	c   204s| 15000 |   342 |  2713k| 169.3 |   218M |  54 |1173 |5118 | 941 |  61k|  1 |  19k|  31 | 0.000000e+00 |      --      |    Inf |  19.38%
269.00/269.83	c   206s| 15100 |   331 |  2747k| 170.4 |   218M |  54 |1173 |5230 |   0 |  62k|  0 |  19k|  31 | 0.000000e+00 |      --      |    Inf |  19.38%
269.00/269.83	c   208s| 15200 |   330 |  2775k| 171.1 |   218M |  54 |1173 |5273 | 962 |  62k|  2 |  20k|  31 | 0.000000e+00 |      --      |    Inf |  19.38%
269.00/269.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
269.00/269.83	c   210s| 15300 |   321 |  2799k| 171.5 |   218M |  54 |1173 |5272 | 952 |  62k|  1 |  20k|  31 | 0.000000e+00 |      --      |    Inf |  19.38%
269.00/269.83	c   212s| 15400 |   309 |  2828k| 172.2 |   218M |  54 |1173 |4978 | 884 |  63k|  1 |  20k|  31 | 0.000000e+00 |      --      |    Inf |  19.41%
269.00/269.83	c   213s| 15500 |   321 |  2851k| 172.5 |   218M |  54 |1173 |4817 | 894 |  63k|  0 |  20k|  31 | 0.000000e+00 |      --      |    Inf |  19.41%
269.00/269.83	c   214s| 15600 |   314 |  2869k| 172.6 |   218M |  54 |1173 |4893 | 948 |  64k|  2 |  20k|  31 | 0.000000e+00 |      --      |    Inf |  19.42%
269.00/269.83	c   216s| 15700 |   319 |  2890k| 172.8 |   218M |  54 |1173 |4975 |   0 |  64k|  0 |  20k|  31 | 0.000000e+00 |      --      |    Inf |  19.42%
269.00/269.83	c   218s| 15800 |   321 |  2916k| 173.3 |   218M |  54 |1173 |4805 | 951 |  65k|  2 |  20k|  31 | 0.000000e+00 |      --      |    Inf |  19.43%
269.00/269.83	c   219s| 15900 |   321 |  2934k| 173.4 |   218M |  54 |1173 |4814 | 950 |  65k|  1 |  20k|  31 | 0.000000e+00 |      --      |    Inf |  19.43%
269.00/269.83	c   220s| 16000 |   324 |  2953k| 173.5 |   218M |  54 |1173 |4822 | 928 |  66k|  1 |  21k|  31 | 0.000000e+00 |      --      |    Inf |  19.43%
269.00/269.83	c   221s| 16100 |   323 |  2966k| 173.2 |   218M |  54 |1173 |4907 | 928 |  66k|  1 |  21k|  31 | 0.000000e+00 |      --      |    Inf |  19.43%
269.00/269.83	c   222s| 16200 |   321 |  2978k| 172.9 |   218M |  54 |1173 |4980 |   0 |  66k|  0 |  21k|  31 | 0.000000e+00 |      --      |    Inf |  19.43%
269.00/269.83	c   223s| 16300 |   322 |  2985k| 172.3 |   218M |  54 |1173 |5109 |   0 |  66k|  0 |  21k|  31 | 0.000000e+00 |      --      |    Inf |  19.43%
269.00/269.83	c   224s| 16400 |   313 |  2997k| 172.0 |   218M |  54 |1173 |5120 | 855 |  67k|  1 |  21k|  31 | 0.000000e+00 |      --      |    Inf |  19.43%
269.00/269.83	c   226s| 16500 |   332 |  3026k| 172.7 |   218M |  54 |1173 |4998 | 962 |  67k|  1 |  21k|  31 | 0.000000e+00 |      --      |    Inf |  19.44%
269.00/269.83	c   227s| 16600 |   335 |  3046k| 172.9 |   218M |  54 |1173 |5005 | 934 |  68k|  2 |  21k|  31 | 0.000000e+00 |      --      |    Inf |  19.44%
269.00/269.83	c   229s| 16700 |   309 |  3067k| 173.1 |   218M |  54 |1173 |4860 | 847 |  68k|  0 |  21k|  31 | 0.000000e+00 |      --      |    Inf |  19.63%
269.00/269.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
269.00/269.83	c   231s| 16800 |   302 |  3097k| 173.8 |   218M |  54 |1173 |4765 |   0 |  68k|  0 |  22k|  31 | 0.000000e+00 |      --      |    Inf |  19.67%
269.00/269.83	c   232s| 16900 |   297 |  3115k| 173.8 |   218M |  54 |1173 |4742 | 967 |  69k|  1 |  22k|  31 | 0.000000e+00 |      --      |    Inf |  19.73%
269.00/269.83	c   233s| 17000 |   311 |  3137k| 174.1 |   218M |  54 |1173 |4672 | 955 |  69k|  1 |  22k|  31 | 0.000000e+00 |      --      |    Inf |  19.73%
269.00/269.83	c   235s| 17100 |   291 |  3153k| 174.0 |   219M |  54 |1173 |4648 | 855 |  69k|  1 |  22k|  31 | 0.000000e+00 |      --      |    Inf |  19.73%
269.00/269.83	c   236s| 17200 |   293 |  3172k| 174.1 |   219M |  54 |1173 |4607 |   0 |  70k|  0 |  22k|  31 | 0.000000e+00 |      --      |    Inf |  19.80%
269.00/269.83	c   237s| 17300 |   296 |  3191k| 174.1 |   219M |  54 |1173 |4673 | 899 |  70k|  0 |  22k|  31 | 0.000000e+00 |      --      |    Inf |  19.80%
269.00/269.83	c   238s| 17400 |   301 |  3210k| 174.2 |   219M |  54 |1173 |4651 | 900 |  71k|  2 |  22k|  31 | 0.000000e+00 |      --      |    Inf |  19.84%
269.00/269.83	c   240s| 17500 |   302 |  3234k| 174.6 |   219M |  54 |1173 |4775 | 900 |  71k|  1 |  23k|  31 | 0.000000e+00 |      --      |    Inf |  19.84%
269.00/269.83	c   242s| 17600 |   294 |  3257k| 174.9 |   219M |  54 |1173 |4803 | 939 |  72k|  2 |  23k|  31 | 0.000000e+00 |      --      |    Inf |  19.87%
269.00/269.83	c   243s| 17700 |   294 |  3285k| 175.5 |   219M |  54 |1173 |4675 | 897 |  72k|  2 |  23k|  31 | 0.000000e+00 |      --      |    Inf |  19.91%
269.00/269.83	c   245s| 17800 |   304 |  3305k| 175.6 |   219M |  54 |1173 |4659 | 839 |  73k|  0 |  23k|  31 | 0.000000e+00 |      --      |    Inf |  19.93%
269.00/269.83	c   246s| 17900 |   322 |  3324k| 175.7 |   219M |  54 |1173 |4637 | 924 |  73k|  2 |  23k|  31 | 0.000000e+00 |      --      |    Inf |  19.93%
269.00/269.83	c   248s| 18000 |   303 |  3350k| 176.1 |   219M |  54 |1173 |4593 | 902 |  74k|  1 |  23k|  31 | 0.000000e+00 |      --      |    Inf |  19.94%
269.00/269.83	c   250s| 18100 |   303 |  3377k| 176.6 |   219M |  54 |1173 |4722 | 944 |  74k|  1 |  23k|  31 | 0.000000e+00 |      --      |    Inf |  19.94%
269.00/269.83	c   251s| 18200 |   283 |  3396k| 176.7 |   219M |  54 |1173 |4574 | 843 |  74k|  0 |  24k|  31 | 0.000000e+00 |      --      |    Inf |  19.99%
269.00/269.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
269.00/269.83	c   252s| 18300 |   283 |  3416k| 176.8 |   219M |  54 |1173 |4669 | 923 |  75k|  1 |  24k|  31 | 0.000000e+00 |      --      |    Inf |  20.01%
269.00/269.83	c   254s| 18400 |   277 |  3443k| 177.3 |   219M |  54 |1173 |4634 | 859 |  75k|  0 |  24k|  31 | 0.000000e+00 |      --      |    Inf |  20.02%
269.00/269.83	c   256s| 18500 |   287 |  3475k| 178.0 |   219M |  54 |1173 |4575 | 922 |  76k|  0 |  24k|  31 | 0.000000e+00 |      --      |    Inf |  20.04%
269.00/269.83	c   258s| 18600 |   285 |  3495k| 178.2 |   219M |  54 |1173 |4666 | 862 |  76k|  1 |  24k|  31 | 0.000000e+00 |      --      |    Inf |  20.05%
269.00/269.83	c   260s| 18700 |   278 |  3530k| 179.0 |   219M |  54 |1173 |4611 |   0 |  76k|  0 |  24k|  31 | 0.000000e+00 |      --      |    Inf |  20.08%
269.00/269.83	c   262s| 18800 |   278 |  3555k| 179.4 |   219M |  54 |1173 |4550 | 847 |  77k|  1 |  24k|  31 | 0.000000e+00 |      --      |    Inf |  20.18%
269.00/269.83	c   264s| 18900 |   283 |  3586k| 180.0 |   219M |  54 |1173 |4443 | 856 |  77k|  1 |  25k|  31 | 0.000000e+00 |      --      |    Inf |  20.31%
269.00/269.83	c   265s| 19000 |   301 |  3602k| 179.9 |   219M |  54 |1173 |4489 | 903 |  78k|  1 |  25k|  31 | 0.000000e+00 |      --      |    Inf |  20.37%
269.00/269.83	c   266s| 19100 |   290 |  3614k| 179.6 |   219M |  54 |1173 |4622 |   0 |  78k|  0 |  25k|  31 | 0.000000e+00 |      --      |    Inf |  20.42%
269.00/269.83	c   267s| 19200 |   286 |  3645k| 180.3 |   219M |  54 |1173 |4651 | 925 |  78k|  1 |  25k|  31 | 0.000000e+00 |      --      |    Inf |  20.45%
269.00/269.83	c   269s| 19300 |   288 |  3661k| 180.2 |   219M |  54 |1173 |4736 | 916 |  78k|  1 |  25k|  31 | 0.000000e+00 |      --      |    Inf |  20.45%
385.04/386.26	c   270s| 19400 |   290 |  3677k| 180.1 |   219M |  54 |1173 |4821 | 922 |  78k|  1 |  25k|  31 | 0.000000e+00 |      --      |    Inf |  20.45%
385.04/386.26	c   271s| 19500 |   293 |  3704k| 180.5 |   219M |  54 |1173 |4879 | 913 |  79k|  1 |  25k|  31 | 0.000000e+00 |      --      |    Inf |  20.45%
385.04/386.26	c   273s| 19600 |   285 |  3731k| 181.0 |   219M |  54 |1173 |4805 | 920 |  79k|  1 |  25k|  31 | 0.000000e+00 |      --      |    Inf |  20.47%
385.04/386.26	c   275s| 19700 |   282 |  3758k| 181.4 |   219M |  54 |1173 |4835 | 926 |  79k|  2 |  26k|  31 | 0.000000e+00 |      --      |    Inf |  20.48%
385.04/386.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
385.04/386.26	c   277s| 19800 |   285 |  3781k| 181.6 |   219M |  54 |1173 |4839 | 872 |  79k|  1 |  26k|  31 | 0.000000e+00 |      --      |    Inf |  20.49%
385.04/386.26	c   278s| 19900 |   293 |  3799k| 181.6 |   219M |  54 |1173 |4809 | 836 |  80k|  1 |  26k|  31 | 0.000000e+00 |      --      |    Inf |  20.49%
385.04/386.26	c   280s| 20000 |   294 |  3835k| 182.5 |   219M |  54 |1173 |4850 |   0 |  80k|  0 |  26k|  31 | 0.000000e+00 |      --      |    Inf |  20.52%
385.04/386.26	c   282s| 20100 |   295 |  3860k| 182.8 |   219M |  54 |1173 |4905 | 873 |  81k|  0 |  26k|  31 | 0.000000e+00 |      --      |    Inf |  20.55%
385.04/386.26	c   284s| 20200 |   291 |  3893k| 183.5 |   219M |  54 |1173 |4965 | 900 |  81k|  0 |  26k|  31 | 0.000000e+00 |      --      |    Inf |  20.58%
385.04/386.26	c   286s| 20300 |   291 |  3921k| 184.0 |   219M |  54 |1173 |5076 | 843 |  82k|  0 |  26k|  31 | 0.000000e+00 |      --      |    Inf |  20.58%
385.04/386.26	c   288s| 20400 |   302 |  3951k| 184.5 |   219M |  54 |1173 |5052 | 843 |  82k|  1 |  26k|  31 | 0.000000e+00 |      --      |    Inf |  20.59%
385.04/386.26	c   290s| 20500 |   292 |  3979k| 184.9 |   219M |  54 |1173 |4951 | 839 |  83k|  0 |  27k|  31 | 0.000000e+00 |      --      |    Inf |  20.61%
385.04/386.26	c   291s| 20600 |   291 |  4007k| 185.4 |   219M |  54 |1173 |4819 |   0 |  83k|  0 |  27k|  31 | 0.000000e+00 |      --      |    Inf |  20.62%
385.04/386.26	c   293s| 20700 |   289 |  4032k| 185.7 |   219M |  54 |1173 |4656 | 886 |  84k|  0 |  27k|  31 | 0.000000e+00 |      --      |    Inf |  20.66%
385.04/386.26	c   295s| 20800 |   295 |  4067k| 186.4 |   219M |  54 |1173 |4672 | 886 |  84k|  1 |  27k|  31 | 0.000000e+00 |      --      |    Inf |  20.67%
385.04/386.26	c   297s| 20900 |   294 |  4100k| 187.1 |   219M |  54 |1173 |4783 | 885 |  84k|  0 |  27k|  31 | 0.000000e+00 |      --      |    Inf |  20.67%
385.04/386.26	c   300s| 21000 |   289 |  4142k| 188.1 |   219M |  54 |1173 |4829 |   0 |  85k|  0 |  27k|  31 | 0.000000e+00 |      --      |    Inf |  20.67%
385.04/386.26	c   302s| 21100 |   287 |  4172k| 188.7 |   219M |  54 |1173 |4480 | 914 |  85k|  0 |  27k|  31 | 0.000000e+00 |      --      |    Inf |  21.59%
385.04/386.26	c   303s| 21200 |   297 |  4197k| 188.9 |   219M |  54 |1173 |4439 | 918 |  86k|  0 |  27k|  31 | 0.000000e+00 |      --      |    Inf |  21.64%
385.04/386.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
385.04/386.26	c   306s| 21300 |   287 |  4232k| 189.6 |   219M |  54 |1173 |4504 | 880 |  86k|  1 |  28k|  31 | 0.000000e+00 |      --      |    Inf |  21.69%
385.04/386.26	c   308s| 21400 |   281 |  4265k| 190.3 |   219M |  54 |1173 |4473 | 856 |  86k|  1 |  28k|  31 | 0.000000e+00 |      --      |    Inf |  21.90%
385.04/386.26	c   309s| 21500 |   292 |  4290k| 190.5 |   219M |  54 |1173 |4500 | 901 |  87k|  0 |  28k|  31 | 0.000000e+00 |      --      |    Inf |  21.91%
385.04/386.26	c   312s| 21600 |   295 |  4324k| 191.2 |   219M |  54 |1173 |4603 | 896 |  87k|  0 |  28k|  31 | 0.000000e+00 |      --      |    Inf |  21.91%
385.04/386.26	c   313s| 21700 |   292 |  4354k| 191.7 |   219M |  54 |1173 |4638 | 934 |  87k|  1 |  28k|  31 | 0.000000e+00 |      --      |    Inf |  21.92%
385.04/386.26	c   315s| 21800 |   288 |  4378k| 191.9 |   219M |  54 |1173 |4721 | 880 |  88k|  0 |  28k|  31 | 0.000000e+00 |      --      |    Inf |  21.93%
385.04/386.26	c   317s| 21900 |   304 |  4415k| 192.7 |   219M |  54 |1173 |4658 | 901 |  88k|  0 |  28k|  31 | 0.000000e+00 |      --      |    Inf |  21.93%
385.04/386.26	c   320s| 22000 |   315 |  4461k| 193.8 |   219M |  54 |1173 |4711 |   0 |  88k|  0 |  29k|  31 | 0.000000e+00 |      --      |    Inf |  21.94%
385.04/386.26	c   322s| 22100 |   322 |  4498k| 194.6 |   219M |  54 |1173 |4798 | 932 |  89k|  0 |  29k|  31 | 0.000000e+00 |      --      |    Inf |  21.94%
385.04/386.26	c   324s| 22200 |   315 |  4531k| 195.2 |   219M |  54 |1173 |4864 | 998 |  90k|  2 |  29k|  31 | 0.000000e+00 |      --      |    Inf |  21.95%
385.04/386.26	c   327s| 22300 |   305 |  4579k| 196.4 |   219M |  54 |1173 |4864 | 914 |  90k|  0 |  29k|  31 | 0.000000e+00 |      --      |    Inf |  21.96%
385.04/386.26	c   330s| 22400 |   298 |  4617k| 197.2 |   219M |  54 |1173 |4809 | 893 |  90k|  0 |  29k|  31 | 0.000000e+00 |      --      |    Inf |  22.01%
385.04/386.26	c   333s| 22500 |   296 |  4664k| 198.4 |   219M |  54 |1173 |4850 | 887 |  90k|  1 |  29k|  31 | 0.000000e+00 |      --      |    Inf |  22.02%
385.04/386.26	c   335s| 22600 |   295 |  4707k| 199.4 |   219M |  54 |1173 |4920 | 915 |  91k|  0 |  29k|  31 | 0.000000e+00 |      --      |    Inf |  22.03%
385.04/386.26	c   338s| 22700 |   310 |  4750k| 200.3 |   219M |  54 |1173 |4848 | 950 |  92k|  2 |  30k|  31 | 0.000000e+00 |      --      |    Inf |  22.05%
385.04/386.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
385.04/386.26	c   341s| 22800 |   305 |  4785k| 200.9 |   219M |  54 |1173 |4849 | 884 |  92k|  0 |  30k|  31 | 0.000000e+00 |      --      |    Inf |  22.08%
385.04/386.26	c   343s| 22900 |   318 |  4827k| 201.9 |   219M |  54 |1173 |4868 | 935 |  93k|  1 |  30k|  31 | 0.000000e+00 |      --      |    Inf |  22.08%
385.04/386.26	c   346s| 23000 |   313 |  4867k| 202.7 |   219M |  54 |1173 |4927 | 930 |  93k|  1 |  30k|  31 | 0.000000e+00 |      --      |    Inf |  22.09%
385.04/386.26	c   349s| 23100 |   325 |  4913k| 203.8 |   219M |  54 |1173 |4945 | 931 |  94k|  0 |  30k|  31 | 0.000000e+00 |      --      |    Inf |  22.10%
385.04/386.26	c   352s| 23200 |   320 |  4956k| 204.7 |   219M |  54 |1173 |5017 | 967 |  94k|  1 |  30k|  31 | 0.000000e+00 |      --      |    Inf |  22.12%
385.04/386.26	c   355s| 23300 |   310 |  4999k| 205.6 |   219M |  54 |1173 |5107 | 983 |  94k|  2 |  30k|  31 | 0.000000e+00 |      --      |    Inf |  22.14%
385.04/386.26	c   358s| 23400 |   311 |  5048k| 206.8 |   219M |  54 |1173 |5175 |   0 |  95k|  0 |  30k|  31 | 0.000000e+00 |      --      |    Inf |  22.15%
385.04/386.26	c   361s| 23500 |   311 |  5091k| 207.7 |   219M |  54 |1173 |5191 | 952 |  95k|  0 |  30k|  31 | 0.000000e+00 |      --      |    Inf |  22.15%
385.04/386.26	c   363s| 23600 |   313 |  5135k| 208.7 |   219M |  54 |1173 |5251 | 962 |  96k|  2 |  31k|  31 | 0.000000e+00 |      --      |    Inf |  22.16%
385.04/386.26	c   366s| 23700 |   306 |  5175k| 209.4 |   219M |  54 |1173 |5319 | 895 |  96k|  1 |  31k|  31 | 0.000000e+00 |      --      |    Inf |  22.16%
385.04/386.26	c   368s| 23800 |   312 |  5211k| 210.0 |   219M |  54 |1173 |5347 |   0 |  97k|  0 |  31k|  31 | 0.000000e+00 |      --      |    Inf |  22.17%
385.04/386.26	c   371s| 23900 |   308 |  5250k| 210.7 |   219M |  54 |1173 |5432 | 939 |  97k|  0 |  31k|  31 | 0.000000e+00 |      --      |    Inf |  22.17%
385.04/386.26	c   373s| 24000 |   295 |  5282k| 211.2 |   219M |  54 |1173 |5448 | 944 |  98k|  0 |  31k|  31 | 0.000000e+00 |      --      |    Inf |  22.18%
385.04/386.26	c   376s| 24100 |   299 |  5324k| 212.0 |   220M |  54 |1173 |5371 | 880 |  98k|  1 |  31k|  31 | 0.000000e+00 |      --      |    Inf |  22.18%
385.04/386.26	c   378s| 24200 |   296 |  5355k| 212.4 |   220M |  54 |1173 |5483 | 891 |  98k|  1 |  31k|  31 | 0.000000e+00 |      --      |    Inf |  22.18%
385.04/386.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
385.04/386.26	c   380s| 24300 |   288 |  5390k| 212.9 |   220M |  54 |1173 |5443 | 875 |  98k|  1 |  32k|  31 | 0.000000e+00 |      --      |    Inf |  22.57%
385.04/386.26	c   382s| 24400 |   288 |  5421k| 213.3 |   220M |  54 |1173 |5325 | 852 |  99k|  1 |  32k|  31 | 0.000000e+00 |      --      |    Inf |  22.64%
385.04/386.26	c   384s| 24500 |   290 |  5456k| 213.9 |   220M |  54 |1173 |5255 |   0 |  99k|  0 |  32k|  31 | 0.000000e+00 |      --      |    Inf |  22.69%
476.77/478.21	c   386s| 24600 |   298 |  5490k| 214.4 |   220M |  54 |1173 |5215 | 880 |  99k|  1 |  32k|  31 | 0.000000e+00 |      --      |    Inf |  22.72%
476.77/478.21	c   388s| 24700 |   292 |  5518k| 214.7 |   220M |  54 |1173 |5184 | 910 | 100k|  1 |  32k|  31 | 0.000000e+00 |      --      |    Inf |  22.75%
476.77/478.21	c   390s| 24800 |   286 |  5555k| 215.3 |   220M |  54 |1173 |5042 |   0 | 100k|  0 |  32k|  31 | 0.000000e+00 |      --      |    Inf |  22.79%
476.77/478.21	c   392s| 24900 |   282 |  5585k| 215.6 |   220M |  54 |1173 |4911 |   0 | 100k|  0 |  32k|  31 | 0.000000e+00 |      --      |    Inf |  22.84%
476.77/478.21	c   394s| 25000 |   297 |  5613k| 215.8 |   220M |  54 |1173 |4825 |   0 | 101k|  0 |  32k|  31 | 0.000000e+00 |      --      |    Inf |  22.85%
476.77/478.21	c   396s| 25100 |   291 |  5646k| 216.2 |   220M |  54 |1173 |4819 | 853 | 101k|  0 |  33k|  31 | 0.000000e+00 |      --      |    Inf |  22.86%
476.77/478.21	c   398s| 25200 |   281 |  5678k| 216.7 |   220M |  54 |1173 |4690 | 856 | 102k|  1 |  33k|  31 | 0.000000e+00 |      --      |    Inf |  22.87%
476.77/478.21	c   401s| 25300 |   280 |  5716k| 217.3 |   220M |  54 |1173 |4666 | 914 | 102k|  0 |  33k|  31 | 0.000000e+00 |      --      |    Inf |  22.90%
476.77/478.21	c   403s| 25400 |   273 |  5747k| 217.6 |   220M |  54 |1173 |4609 | 872 | 102k|  1 |  33k|  31 | 0.000000e+00 |      --      |    Inf |  22.93%
476.77/478.21	c   405s| 25500 |   271 |  5783k| 218.2 |   220M |  54 |1173 |4572 | 897 | 102k|  1 |  33k|  31 | 0.000000e+00 |      --      |    Inf |  22.99%
476.77/478.21	c   407s| 25600 |   272 |  5808k| 218.3 |   220M |  54 |1173 |4525 | 915 | 102k|  1 |  33k|  31 | 0.000000e+00 |      --      |    Inf |  23.41%
476.77/478.21	c   409s| 25700 |   282 |  5836k| 218.5 |   220M |  54 |1173 |4525 | 861 | 103k|  1 |  33k|  31 | 0.000000e+00 |      --      |    Inf |  23.45%
476.77/478.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
476.77/478.21	c   410s| 25800 |   275 |  5863k| 218.7 |   220M |  54 |1173 |4650 | 903 | 103k|  0 |  33k|  31 | 0.000000e+00 |      --      |    Inf |  23.45%
476.77/478.21	c   412s| 25900 |   271 |  5893k| 219.0 |   220M |  54 |1173 |4685 | 919 | 104k|  0 |  33k|  31 | 0.000000e+00 |      --      |    Inf |  23.46%
476.77/478.21	c   415s| 26000 |   267 |  5936k| 219.8 |   220M |  54 |1173 |4692 | 903 | 105k|  1 |  34k|  31 | 0.000000e+00 |      --      |    Inf |  23.57%
476.77/478.21	c   418s| 26100 |   269 |  5974k| 220.4 |   220M |  54 |1173 |4603 | 846 | 105k|  1 |  34k|  31 | 0.000000e+00 |      --      |    Inf |  24.30%
476.77/478.21	c   419s| 26200 |   275 |  6000k| 220.5 |   220M |  54 |1173 |4683 | 904 | 106k|  1 |  34k|  31 | 0.000000e+00 |      --      |    Inf |  24.39%
476.77/478.21	c   421s| 26300 |   269 |  6019k| 220.4 |   220M |  54 |1173 |4804 | 934 | 106k|  1 |  34k|  31 | 0.000000e+00 |      --      |    Inf |  24.49%
476.77/478.21	c   422s| 26400 |   271 |  6032k| 220.1 |   220M |  54 |1173 |4959 | 958 | 107k|  2 |  34k|  31 | 0.000000e+00 |      --      |    Inf |  24.49%
476.77/478.21	c   423s| 26500 |   268 |  6045k| 219.7 |   220M |  54 |1173 |5047 |   0 | 107k|  0 |  34k|  31 | 0.000000e+00 |      --      |    Inf |  24.49%
476.77/478.21	c   424s| 26600 |   277 |  6070k| 219.9 |   220M |  54 |1173 |5058 | 907 | 107k|  1 |  34k|  31 | 0.000000e+00 |      --      |    Inf |  24.50%
476.77/478.21	c   426s| 26700 |   285 |  6094k| 220.0 |   221M |  54 |1173 |5067 | 902 | 108k|  0 |  35k|  31 | 0.000000e+00 |      --      |    Inf |  24.50%
476.77/478.21	c   428s| 26800 |   279 |  6133k| 220.6 |   221M |  54 |1173 |5087 | 910 | 108k|  0 |  35k|  31 | 0.000000e+00 |      --      |    Inf |  24.50%
476.77/478.21	c   429s| 26900 |   284 |  6151k| 220.4 |   221M |  54 |1173 |4976 | 877 | 109k|  1 |  35k|  31 | 0.000000e+00 |      --      |    Inf |  24.51%
476.77/478.21	c   430s| 27000 |   274 |  6165k| 220.1 |   221M |  54 |1173 |4978 | 898 | 109k|  1 |  35k|  31 | 0.000000e+00 |      --      |    Inf |  24.51%
476.77/478.21	c   431s| 27100 |   272 |  6182k| 219.9 |   221M |  54 |1173 |5094 | 885 | 109k|  1 |  35k|  31 | 0.000000e+00 |      --      |    Inf |  24.52%
476.77/478.21	c   433s| 27200 |   275 |  6198k| 219.7 |   221M |  54 |1173 |5180 | 885 | 110k|  1 |  35k|  31 | 0.000000e+00 |      --      |    Inf |  24.53%
476.77/478.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
476.77/478.21	c   433s| 27300 |   267 |  6210k| 219.4 |   221M |  54 |1173 |5234 | 842 | 110k|  1 |  35k|  31 | 0.000000e+00 |      --      |    Inf |  24.53%
476.77/478.21	c   434s| 27400 |   277 |  6224k| 219.1 |   221M |  54 |1173 |5239 | 842 | 110k|  1 |  35k|  31 | 0.000000e+00 |      --      |    Inf |  24.55%
476.77/478.21	c   435s| 27500 |   285 |  6244k| 219.0 |   221M |  54 |1173 |5322 | 948 | 111k|  1 |  36k|  31 | 0.000000e+00 |      --      |    Inf |  24.55%
476.77/478.21	c   437s| 27600 |   270 |  6266k| 219.0 |   221M |  54 |1173 |5367 | 877 | 111k|  0 |  36k|  31 | 0.000000e+00 |      --      |    Inf |  24.56%
476.77/478.21	c   438s| 27700 |   275 |  6285k| 218.9 |   221M |  54 |1173 |5385 | 881 | 112k|  1 |  36k|  31 | 0.000000e+00 |      --      |    Inf |  24.57%
476.77/478.21	c   439s| 27800 |   273 |  6303k| 218.8 |   221M |  54 |1173 |5452 | 888 | 112k|  1 |  36k|  31 | 0.000000e+00 |      --      |    Inf |  24.57%
476.77/478.21	c   440s| 27900 |   272 |  6322k| 218.7 |   221M |  54 |1173 |5529 | 880 | 113k|  0 |  36k|  31 | 0.000000e+00 |      --      |    Inf |  24.58%
476.77/478.21	c   441s| 28000 |   270 |  6335k| 218.4 |   221M |  54 |1173 |5619 | 885 | 113k|  1 |  36k|  31 | 0.000000e+00 |      --      |    Inf |  24.58%
476.77/478.21	c   442s| 28100 |   273 |  6348k| 218.1 |   221M |  54 |1173 |5636 | 920 | 113k|  2 |  36k|  31 | 0.000000e+00 |      --      |    Inf |  24.59%
476.77/478.21	c   444s| 28200 |   271 |  6373k| 218.2 |   221M |  54 |1173 |5661 | 856 | 114k|  1 |  37k|  31 | 0.000000e+00 |      --      |    Inf |  24.60%
476.77/478.21	c   445s| 28300 |   273 |  6392k| 218.1 |   221M |  54 |1173 |5683 | 856 | 114k|  1 |  37k|  31 | 0.000000e+00 |      --      |    Inf |  24.61%
476.77/478.21	c   447s| 28400 |   269 |  6430k| 218.7 |   221M |  54 |1173 |5434 | 915 | 114k|  1 |  37k|  31 | 0.000000e+00 |      --      |    Inf |  24.84%
476.77/478.21	c   449s| 28500 |   255 |  6455k| 218.8 |   221M |  54 |1173 |5183 | 878 | 115k|  0 |  37k|  31 | 0.000000e+00 |      --      |    Inf |  24.94%
476.77/478.21	c   451s| 28600 |   262 |  6490k| 219.2 |   221M |  54 |1173 |4923 | 831 | 116k|  1 |  37k|  31 | 0.000000e+00 |      --      |    Inf |  25.19%
476.77/478.21	c   453s| 28700 |   257 |  6516k| 219.3 |   221M |  54 |1173 |4815 | 859 | 116k|  1 |  37k|  31 | 0.000000e+00 |      --      |    Inf |  25.20%
476.77/478.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
476.77/478.21	c   455s| 28800 |   260 |  6546k| 219.6 |   221M |  54 |1173 |4763 | 873 | 116k|  1 |  37k|  31 | 0.000000e+00 |      --      |    Inf |  25.21%
476.77/478.21	c   457s| 28900 |   253 |  6574k| 219.8 |   221M |  54 |1173 |4839 | 868 | 117k|  1 |  37k|  31 | 0.000000e+00 |      --      |    Inf |  25.22%
476.77/478.21	c   459s| 29000 |   253 |  6609k| 220.2 |   221M |  54 |1173 |4771 | 838 | 117k|  0 |  37k|  31 | 0.000000e+00 |      --      |    Inf |  25.68%
476.77/478.21	c   461s| 29100 |   250 |  6644k| 220.7 |   221M |  54 |1173 |4785 | 914 | 118k|  0 |  38k|  31 | 0.000000e+00 |      --      |    Inf |  25.84%
476.77/478.21	c   464s| 29200 |   253 |  6683k| 221.2 |   221M |  54 |1173 |4889 | 976 | 118k|  0 |  38k|  31 | 0.000000e+00 |      --      |    Inf |  25.85%
476.77/478.21	c   466s| 29300 |   254 |  6718k| 221.7 |   221M |  54 |1173 |5044 |1012 | 119k|  2 |  38k|  31 | 0.000000e+00 |      --      |    Inf |  25.85%
476.77/478.21	c   469s| 29400 |   249 |  6757k| 222.2 |   221M |  54 |1173 |4890 | 859 | 119k|  1 |  38k|  31 | 0.000000e+00 |      --      |    Inf |  25.90%
476.77/478.21	c   471s| 29500 |   260 |  6789k| 222.5 |   221M |  54 |1173 |4844 | 834 | 119k|  1 |  38k|  31 | 0.000000e+00 |      --      |    Inf |  25.96%
476.77/478.21	c   472s| 29600 |   255 |  6818k| 222.8 |   221M |  54 |1173 |4833 |   0 | 120k|  0 |  38k|  31 | 0.000000e+00 |      --      |    Inf |  26.26%
476.77/478.21	c   474s| 29700 |   255 |  6844k| 222.9 |   221M |  54 |1173 |4847 | 854 | 120k|  0 |  39k|  31 | 0.000000e+00 |      --      |    Inf |  26.29%
476.77/478.21	c   476s| 29800 |   255 |  6875k| 223.2 |   221M |  54 |1173 |4924 | 879 | 121k|  1 |  39k|  31 | 0.000000e+00 |      --      |    Inf |  26.29%
498.61/500.15	c   478s| 29900 |   261 |  6911k| 223.6 |   221M |  54 |1173 |5004 |   0 | 121k|  0 |  39k|  31 | 0.000000e+00 |      --      |    Inf |  26.31%
498.61/500.15	c   480s| 30000 |   254 |  6947k| 224.0 |   221M |  54 |1173 |5068 | 882 | 121k|  0 |  39k|  31 | 0.000000e+00 |      --      |    Inf |  26.32%
498.61/500.15	c   482s| 30100 |   249 |  6974k| 224.2 |   221M |  54 |1173 |5023 |   0 | 122k|  0 |  39k|  31 | 0.000000e+00 |      --      |    Inf |  26.35%
498.61/500.15	c   484s| 30200 |   259 |  7004k| 224.4 |   221M |  54 |1173 |5086 | 902 | 122k|  0 |  39k|  31 | 0.000000e+00 |      --      |    Inf |  26.42%
498.61/500.15	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.61/500.15	c   486s| 30300 |   260 |  7039k| 224.9 |   221M |  54 |1173 |5153 |   0 | 123k|  0 |  39k|  31 | 0.000000e+00 |      --      |    Inf |  26.43%
498.61/500.15	c   489s| 30400 |   266 |  7073k| 225.2 |   221M |  54 |1173 |4981 | 776 | 123k|  1 |  39k|  31 | 0.000000e+00 |      --      |    Inf |  26.46%
498.61/500.15	c   490s| 30500 |   263 |  7098k| 225.3 |   221M |  54 |1173 |4829 | 918 | 124k|  0 |  40k|  31 | 0.000000e+00 |      --      |    Inf |  27.03%
498.61/500.15	c   492s| 30600 |   265 |  7134k| 225.7 |   221M |  54 |1173 |4888 | 854 | 124k|  0 |  40k|  31 | 0.000000e+00 |      --      |    Inf |  27.10%
498.61/500.15	c   495s| 30700 |   269 |  7169k| 226.1 |   221M |  54 |1173 |4797 | 854 | 125k|  1 |  40k|  31 | 0.000000e+00 |      --      |    Inf |  27.17%
498.61/500.15	c   496s| 30800 |   277 |  7201k| 226.4 |   221M |  54 |1173 |4743 | 854 | 125k|  1 |  40k|  31 | 0.000000e+00 |      --      |    Inf |  27.19%
498.61/500.15	c   498s| 30900 |   271 |  7230k| 226.6 |   221M |  54 |1173 |4739 | 896 | 125k|  0 |  40k|  31 | 0.000000e+00 |      --      |    Inf |  27.20%
498.61/500.15	c 
498.61/500.15	c SCIP Status        : solving was interrupted [time limit reached]
498.61/500.15	c Solving Time (sec) : 500.00
498.61/500.15	c Solving Nodes      : 30995 (total of 31954 nodes in 2 runs)
498.61/500.15	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.61/500.15	c Dual Bound         : +0.00000000000000e+00
498.61/500.15	c Gap                : infinite
498.61/500.15	c ----------------------------------------------------------------------
498.61/500.15	c dual bound: 0.0 -> 0
498.61/500.15	c primal bound: 1e+20 -> 100000000000000000000
498.61/500.15	c scip-goal-lb: 0
498.61/500.15	c scip-goal-ub: 100000000000000000000
498.61/500.15	c writing output to: HOME/tmp21zkl7yk.opb
498.61/500.15	c appending fixed variable constraints
498.61/500.15	c scip-fixed vars: 15.26% (179/1173)
498.61/500.15	c ----------------------------------------------------------------------
498.61/500.15	c executing external solver: HOME/naps-1.03a6
498.61/500.15	c ----------------------------------------------------------------------
498.61/500.15	c command: HOME/naps-1.03a6 HOME/tmp21zkl7yk.opb
498.61/500.16	c NaPS 1.03a6.
498.61/500.16	c Input file name: HOME/tmp21zkl7yk.opb
516.56/518.13	c _____________________________________________________________________________
516.56/518.13	c std/band forms        : 478,49
516.56/518.13	c 2cl/3cl ITE-codings   : 15726,15925
516.56/518.13	c BDD/srt/adr Max costs : 504,324,0
516.56/518.13	c BDDraw/bin/mul/srt/adr: 168,0,303,56,0
516.56/518.13	c BDD nodes             : 46189
516.56/518.13	c Es1/CC detections     : 0,0
516.56/518.13	c CC sort               : 56
516.56/518.13	c SAT/UNSAT calls       : 0,1
516.56/518.13	c regenrated variables  : 0
516.56/518.13	c eliminated fixed lits : 160
516.56/518.13	c goal lit flips        : 0
516.56/518.13	c goal stages           : 0
516.56/518.13	c goal shrink           : 0
516.56/518.13	c goal coeff separations: 0
516.56/518.13	c restarts              : 5561
516.56/518.13	c conflicts             : 168225         (9389 /sec)
516.56/518.13	c decisions             : 485339         (27088 /sec)
516.56/518.13	c propagations          : 129086250      (7204682 /sec)
516.56/518.13	c inspects              : 0              (0 /sec)
516.56/518.13	c CPU time (solving tm) : 17.92 s        (17.65 s, SAT 0 s, UNSAT 17.65 s)
516.56/518.13	c Time for Opt-base     : 0.06597 s
516.56/518.13	c Steps for Opt-base    : 185884
516.56/518.13	c Time for BDD coding   : 0.222 s
516.56/518.13	c Time for srt coding   : 0.0016 s
516.56/518.13	c _____________________________________________________________________________
516.56/518.13	s UNSATISFIABLE

ERROR: no interpretation found !

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61783 MiB free)
  memory of node 1: 64465 MiB (58117 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545595-1753232065/watcher-4545595-1753232065 -o /tmp/evaluation-result-4545595-1753232065/solver-4545595-1753232065 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168828 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4545595-1753232065.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=172606, runsolver pid=172603

[startup+0.100062 s]*
/proc/loadavg: 4.13 4.11 4.09 5/269 172611
/proc/meminfo: memFree=122774308/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1187844 memory=32812 CPUtime=0.07 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 3936 0 0 0 6 1 0 0 20 0 1 0 238885074 1216352256 8171 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 296961 8171 4907 1 0 268983 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1192036 KiB
Current children cumulated memory: 35884 KiB

[startup+0.205694 s]*
/proc/loadavg: 4.13 4.11 4.09 5/269 172611
/proc/meminfo: memFree=122774308/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1206268 memory=59180 CPUtime=0.17 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 7741 0 0 0 16 1 0 0 20 0 1 0 238885074 1235218432 14795 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 301567 14795 7947 1 0 272925 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1210460 KiB
Current children cumulated memory: 62252 KiB

[startup+0.305717 s]*
/proc/loadavg: 4.13 4.11 4.09 5/269 172611
/proc/meminfo: memFree=122774308/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1207516 memory=60332 CPUtime=0.27 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 8041 0 0 0 26 1 0 0 20 0 1 0 238885074 1236496384 15083 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 301879 15083 7947 1 0 273237 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1211708 KiB
Current children cumulated memory: 63404 KiB

[startup+0.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 172611
/proc/meminfo: memFree=122758432/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1245544 memory=96428 CPUtime=0.66 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 16864 0 0 0 63 3 0 0 20 0 1 0 238885074 1275437056 24107 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 311386 24107 8171 1 0 282744 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1249736 KiB
Current children cumulated memory: 99500 KiB

[startup+1.50022 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 172611
/proc/meminfo: memFree=122710048/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1315848 memory=165676 CPUtime=1.45 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 34161 0 0 0 140 5 0 0 20 0 1 0 238885074 1347428352 41419 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 328962 41419 8171 1 0 300320 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1320040 KiB
Current children cumulated memory: 168748 KiB

[startup+3.10553 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 172611
/proc/meminfo: memFree=122644804/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1348384 memory=197392 CPUtime=3.06 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 42487 0 0 0 299 7 0 0 20 0 1 0 238885074 1380745216 49348 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 337096 49348 8171 1 0 308454 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1352576 KiB
Current children cumulated memory: 200464 KiB

[startup+6.30021 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 172611
/proc/meminfo: memFree=122588332/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1391092 memory=239280 CPUtime=6.24 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 54502 0 0 0 615 9 0 0 20 0 1 0 238885074 1424478208 59820 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 347773 59820 8171 1 0 319131 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1395284 KiB
Current children cumulated memory: 242352 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 172611
/proc/meminfo: memFree=122572204/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1406212 memory=254692 CPUtime=12.63 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 58890 0 0 0 1253 10 0 0 20 0 1 0 238885074 1439961088 63673 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 351553 63673 8171 1 0 322911 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1410404 KiB
Current children cumulated memory: 257764 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 172612
/proc/meminfo: memFree=122574568/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1414840 memory=264292 CPUtime=25.39 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 61280 0 0 0 2529 10 0 0 20 0 1 0 238885074 1448796160 66073 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 353710 66073 8171 1 0 325068 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1419032 KiB
Current children cumulated memory: 267364 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 172612
/proc/meminfo: memFree=122557640/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1422068 memory=271204 CPUtime=50.92 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 62996 0 0 0 5081 11 0 0 20 0 1 0 238885074 1456197632 67801 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 355517 67801 8171 1 0 326875 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1426260 KiB
Current children cumulated memory: 274276 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 172614
/proc/meminfo: memFree=122563888/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1422068 memory=271204 CPUtime=101.97 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 62996 0 0 0 10186 11 0 0 20 0 1 0 238885074 1456197632 67801 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 355517 67801 8171 1 0 326875 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1426260 KiB
Current children cumulated memory: 274276 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 172616
/proc/meminfo: memFree=122554668/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1422068 memory=271204 CPUtime=161.8 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 62996 0 0 0 16168 12 0 0 20 0 1 0 238885074 1456197632 67801 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 355517 67801 8171 1 0 326875 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1426260 KiB
Current children cumulated memory: 274276 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 172618
/proc/meminfo: memFree=122608772/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1422068 memory=271204 CPUtime=221.63 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 62996 0 0 0 22150 13 0 0 20 0 1 0 238885074 1456197632 67801 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 355517 67801 8171 1 0 326875 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1426260 KiB

################
# More data... #
################

/proc/meminfo: memFree=123174476/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1424792 memory=274964 CPUtime=460.92 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 65725 0 0 0 46076 16 0 0 20 0 1 0 238885074 1458987008 68741 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 356198 68741 8299 1 0 327556 0
Current children cumulated CPU time: 460.92 s
Current children cumulated vsize: 1428984 KiB
Current children cumulated memory: 278036 KiB

[startup+518.194 s]
# the end of solver process 172606 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=516.458 s, system=0.221728 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+486.4 s]
/proc/loadavg: 2.18 3.16 3.72 3/256 172708
/proc/meminfo: memFree=123175020/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1424792 memory=274964 CPUtime=484.95 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 65725 0 0 0 48479 16 0 0 20 0 1 0 238885074 1458987008 68741 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 356198 68741 8299 1 0 327556 0
Current children cumulated CPU time: 484.95 s
Current children cumulated vsize: 1428984 KiB
Current children cumulated memory: 278036 KiB

[startup+499.2 s]
/proc/loadavg: 2.22 3.12 3.69 3/256 172708
/proc/meminfo: memFree=123176768/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1424792 memory=274964 CPUtime=497.71 cores=0,2
/proc/172611/stat : 172611 (python3) R 172606 172606 168818 0 -1 4194304 65726 0 0 0 49755 16 0 0 20 0 1 0 238885074 1458987008 68741 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 356198 68741 8299 1 0 327556 0
Current children cumulated CPU time: 497.71 s
Current children cumulated vsize: 1428984 KiB
Current children cumulated memory: 278036 KiB

[startup+505.6 s]
/proc/loadavg: 2.20 3.10 3.68 3/256 172709
/proc/meminfo: memFree=123146076/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1425560 memory=275860 CPUtime=498.67 cores=0,2
/proc/172611/stat : 172611 (python3) S 172606 172606 168818 0 -1 4194304 66116 0 0 0 49850 17 0 0 20 0 1 0 238885074 1459773440 68965 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 356390 68965 8331 1 0 327748 0
[pid=172709] ppid=172611 vsize=28616 memory=24004 CPUtime=5.41 cores=0,2
/proc/172709/stat : 172709 (naps-1.03a6) R 172611 172709 172709 0 -1 4194304 9975 0 0 0 540 1 0 0 20 0 1 0 238935088 29302784 6001 18446744073709551615 4198400 7047149 140728406197600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27471872 140728406202767 140728406202865 140728406202865 140728406208457 0
/proc/172709/statm: 7154 6001 544 696 0 6315 0
Current children cumulated CPU time: 504.08 s
Current children cumulated vsize: 1458368 KiB
Current children cumulated memory: 302936 KiB

[startup+512 s]*
/proc/loadavg: 2.19 3.08 3.68 3/256 172710
/proc/meminfo: memFree=123146076/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1425560 memory=275860 CPUtime=498.67 cores=0,2
/proc/172611/stat : 172611 (python3) S 172606 172606 168818 0 -1 4194304 66116 0 0 0 49850 17 0 0 20 0 1 0 238885074 1459773440 68965 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 356390 68965 8331 1 0 327748 0
[pid=172709] ppid=172611 vsize=28616 memory=24260 CPUtime=11.8 cores=0,2
/proc/172709/stat : 172709 (naps-1.03a6) R 172611 172709 172709 0 -1 4194304 10048 0 0 0 1179 1 0 0 20 0 1 0 238935088 29302784 6065 18446744073709551615 4198400 7047149 140728406197600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27471872 140728406202767 140728406202865 140728406202865 140728406208457 0
/proc/172709/statm: 7154 6065 544 696 0 6315 0
Current children cumulated CPU time: 510.47 s
Current children cumulated vsize: 1458368 KiB
Current children cumulated memory: 303192 KiB

[startup+515.2 s]
/proc/loadavg: 2.17 3.07 3.67 3/256 172710
/proc/meminfo: memFree=123147332/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1425560 memory=275860 CPUtime=498.67 cores=0,2
/proc/172611/stat : 172611 (python3) S 172606 172606 168818 0 -1 4194304 66116 0 0 0 49850 17 0 0 20 0 1 0 238885074 1459773440 68965 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 356390 68965 8331 1 0 327748 0
[pid=172709] ppid=172611 vsize=28616 memory=24260 CPUtime=14.99 cores=0,2
/proc/172709/stat : 172709 (naps-1.03a6) R 172611 172709 172709 0 -1 4194304 10048 0 0 0 1498 1 0 0 20 0 1 0 238935088 29302784 6065 18446744073709551615 4198400 7047149 140728406197600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27471872 140728406202767 140728406202865 140728406202865 140728406208457 0
/proc/172709/statm: 7154 6065 544 696 0 6315 0
Current children cumulated CPU time: 513.66 s
Current children cumulated vsize: 1458368 KiB
Current children cumulated memory: 303192 KiB

[startup+516.8 s]
/proc/loadavg: 2.17 3.07 3.67 3/256 172710
/proc/meminfo: memFree=123147332/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1425560 memory=275860 CPUtime=498.67 cores=0,2
/proc/172611/stat : 172611 (python3) S 172606 172606 168818 0 -1 4194304 66116 0 0 0 49850 17 0 0 20 0 1 0 238885074 1459773440 68965 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 356390 68965 8331 1 0 327748 0
[pid=172709] ppid=172611 vsize=28616 memory=24260 CPUtime=16.59 cores=0,2
/proc/172709/stat : 172709 (naps-1.03a6) R 172611 172709 172709 0 -1 4194304 10048 0 0 0 1658 1 0 0 20 0 1 0 238935088 29302784 6065 18446744073709551615 4198400 7047149 140728406197600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27471872 140728406202767 140728406202865 140728406202865 140728406208457 0
/proc/172709/statm: 7154 6065 544 696 0 6315 0
Current children cumulated CPU time: 515.26 s
Current children cumulated vsize: 1458368 KiB
Current children cumulated memory: 303192 KiB

[startup+517.6 s]
/proc/loadavg: 2.17 3.07 3.67 3/256 172710
/proc/meminfo: memFree=123147332/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1425560 memory=275860 CPUtime=498.67 cores=0,2
/proc/172611/stat : 172611 (python3) S 172606 172606 168818 0 -1 4194304 66116 0 0 0 49850 17 0 0 20 0 1 0 238885074 1459773440 68965 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 356390 68965 8331 1 0 327748 0
[pid=172709] ppid=172611 vsize=28616 memory=24260 CPUtime=17.39 cores=0,2
/proc/172709/stat : 172709 (naps-1.03a6) R 172611 172709 172709 0 -1 4194304 10048 0 0 0 1738 1 0 0 20 0 1 0 238935088 29302784 6065 18446744073709551615 4198400 7047149 140728406197600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27471872 140728406202767 140728406202865 140728406202865 140728406208457 0
/proc/172709/statm: 7154 6065 544 696 0 6315 0
Current children cumulated CPU time: 516.06 s
Current children cumulated vsize: 1458368 KiB
Current children cumulated memory: 303192 KiB

[startup+518 s]*
/proc/loadavg: 2.16 3.05 3.66 3/256 172710
/proc/meminfo: memFree=123147332/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1425560 memory=275860 CPUtime=498.67 cores=0,2
/proc/172611/stat : 172611 (python3) S 172606 172606 168818 0 -1 4194304 66116 0 0 0 49850 17 0 0 20 0 1 0 238885074 1459773440 68965 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 356390 68965 8331 1 0 327748 0
[pid=172709] ppid=172611 vsize=28616 memory=24260 CPUtime=17.79 cores=0,2
/proc/172709/stat : 172709 (naps-1.03a6) R 172611 172709 172709 0 -1 4194304 10048 0 0 0 1778 1 0 0 20 0 1 0 238935088 29302784 6065 18446744073709551615 4198400 7047149 140728406197600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27471872 140728406202767 140728406202865 140728406202865 140728406208457 0
/proc/172709/statm: 7154 6065 544 696 0 6315 0
Current children cumulated CPU time: 516.46 s
Current children cumulated vsize: 1458368 KiB
Current children cumulated memory: 303192 KiB

[startup+518.105 s]
/proc/loadavg: 2.16 3.05 3.66 3/256 172710
/proc/meminfo: memFree=123147332/131249988 swapFree=33010416/33010684
[pid=172606] ppid=172603 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/172606/stat : 172606 (scip-naps-1.00.) S 172603 172606 168818 0 -1 4194304 258 331 0 0 0 0 0 0 20 0 1 0 238885073 4292608 768 18446744073709551615 93877859139584 93877860034117 140725316704624 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93877860273168 93877860320912 93877880492032 140725316708767 140725316708864 140725316708864 140725316714468 0
/proc/172606/statm: 1048 768 704 219 0 110 0
[pid=172611] ppid=172606 vsize=1425560 memory=275860 CPUtime=498.67 cores=0,2
/proc/172611/stat : 172611 (python3) S 172606 172606 168818 0 -1 4194304 66116 0 0 0 49850 17 0 0 20 0 1 0 238885074 1459773440 68965 18446744073709551615 94898199384064 94898199384441 140724549196432 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94898199395736 94898199396356 94898200403968 140724549200214 140724549200416 140724549200416 140724549205991 0
/proc/172611/statm: 356390 68965 8331 1 0 327748 0
[pid=172709] ppid=172611 vsize=28616 memory=24260 CPUtime=17.89 cores=0,2
/proc/172709/stat : 172709 (naps-1.03a6) R 172611 172709 172709 0 -1 4194304 10048 0 0 0 1788 1 0 0 20 0 1 0 238935088 29302784 6065 18446744073709551615 4198400 7047149 140728406197600 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 27471872 140728406202767 140728406202865 140728406202865 140728406208457 0
/proc/172709/statm: 7154 6065 544 696 0 6315 0
Current children cumulated CPU time: 516.56 s
Current children cumulated vsize: 1458368 KiB
Current children cumulated memory: 303192 KiB

Child status: 0

Real time (s): 518.194
CPU time (s): 516.679
CPU user time (s): 516.458
CPU system time (s): 0.221728
CPU usage (%): 99.7076
Max. virtual memory (cumulated for all children) (KiB): 1462464
Max. memory (cumulated for all children) (KiB): 307072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 516.458
system time used= 0.221728
maximum resident set size= 281956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93070
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 355
involuntary context switches= 1165


# summary of solver processes directly reported to runsolver:
#   pid: 172606
#   total CPU time (s): 516.679
#   total CPU user time (s): 516.458
#   total CPU system time (s): 0.221728

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.998662 second user time and 2.19316 second system time

The end

Begin job on nodeC031 at 2025-07-23 02:54:25
IDJOB=4545595
IDBENCH=180940
IDSOLVER=3368
FILE ID=nodeC031/4545595-1753232065
RUNJOBID= nodeC031-1753222578-168828
SLURM_JOB_ID= 9687820
Free space on /tmp= 432928 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-PoolBallTriangle-07_c24.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545595-1753232065/watcher-4545595-1753232065 -o /tmp/evaluation-result-4545595-1753232065/solver-4545595-1753232065 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168828 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4545595-1753232065.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= d0358cfd617a5121014a5f104d62bc1e
RANDOM SEED=579500355

nodeC031 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.913
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.78
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.885
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.78
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		: 3353.537
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.78
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		: 3578.286
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.891
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.78
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.891
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.78
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		: 3515.589
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.78
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.953
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        122778620 kB
MemAvailable:   127940520 kB
Buffers:            2128 kB
Cached:          5846472 kB
SwapCached:            8 kB
Active:          2864864 kB
Inactive:        4712404 kB
Active(anon):    1744452 kB
Inactive(anon):    10464 kB
Active(file):    1120412 kB
Inactive(file):  4701940 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5564 kB
Writeback:             0 kB
AnonPages:       1728416 kB
Mapped:           133692 kB
Shmem:             26248 kB
KReclaimable:     357572 kB
Slab:             456260 kB
SReclaimable:     357572 kB
SUnreclaim:        98688 kB
KernelStack:        4368 kB
PageTables:         7276 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    5537284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:    309248 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432936 MiB
End job on nodeC031 at 2025-07-23 03:03:04