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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545602-1753232089/watcher-4545602-1753232089 -o /tmp/evaluation-result-4545602-1753232089/solver-4545602-1753232089 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753222587-197774 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4545602-1753232089.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=201560, runsolver pid=201557

[startup+0.100064 s]*
/proc/loadavg: 4.12 4.12 4.09 5/268 201565
/proc/meminfo: memFree=126958868/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1187388 memory=32576 CPUtime=0.06 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 3835 0 0 0 6 0 0 0 20 0 1 0 238889176 1215885312 8144 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 296847 8144 4951 1 0 268869 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191580 KiB
Current children cumulated memory: 35520 KiB

[startup+0.205561 s]*
/proc/loadavg: 4.12 4.12 4.09 5/268 201565
/proc/meminfo: memFree=126943496/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1206332 memory=59328 CPUtime=0.17 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 7746 0 0 0 16 1 0 0 20 0 1 0 238889176 1235283968 14832 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 301583 14832 7959 1 0 272941 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1210524 KiB
Current children cumulated memory: 62272 KiB

[startup+0.305552 s]*
/proc/loadavg: 4.12 4.12 4.09 5/268 201565
/proc/meminfo: memFree=126935432/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1207580 memory=60480 CPUtime=0.27 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 8037 0 0 0 26 1 0 0 20 0 1 0 238889176 1236561920 15120 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 301895 15120 7959 1 0 273253 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1211772 KiB
Current children cumulated memory: 63424 KiB

[startup+0.700209 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 201565
/proc/meminfo: memFree=126927368/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1245164 memory=96064 CPUtime=0.66 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 16765 0 0 0 63 3 0 0 20 0 1 0 238889176 1275047936 24016 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 311291 24016 8151 1 0 282649 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1249356 KiB
Current children cumulated memory: 99008 KiB

[startup+1.50023 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 201565
/proc/meminfo: memFree=126870920/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1315848 memory=165440 CPUtime=1.46 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 34123 0 0 0 140 6 0 0 20 0 1 0 238889176 1347428352 41360 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 328962 41360 8151 1 0 300320 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1320040 KiB
Current children cumulated memory: 168384 KiB

[startup+3.10542 s]
/proc/loadavg: 4.19 4.14 4.10 5/268 201565
/proc/meminfo: memFree=126802652/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1344784 memory=194408 CPUtime=3.06 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 42454 0 0 0 298 8 0 0 20 0 1 0 238889176 1377058816 48602 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 336196 48602 8151 1 0 307554 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1348976 KiB
Current children cumulated memory: 197352 KiB

[startup+6.30019 s]
/proc/loadavg: 4.19 4.14 4.10 5/268 201565
/proc/meminfo: memFree=126776260/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1390724 memory=239008 CPUtime=6.24 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 54586 0 0 0 614 10 0 0 20 0 1 0 238889176 1424101376 59752 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 347681 59752 8151 1 0 319039 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1394916 KiB
Current children cumulated memory: 241952 KiB

[startup+12.7002 s]
/proc/loadavg: 4.32 4.17 4.11 5/268 201565
/proc/meminfo: memFree=126748104/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1406264 memory=254716 CPUtime=12.63 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 59061 0 0 0 1252 11 0 0 20 0 1 0 238889176 1440014336 63679 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 351566 63679 8151 1 0 322924 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1410456 KiB
Current children cumulated memory: 257660 KiB

[startup+25.5002 s]
/proc/loadavg: 4.27 4.16 4.10 5/268 201565
/proc/meminfo: memFree=126746388/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1414848 memory=264444 CPUtime=25.39 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 61488 0 0 0 2528 11 0 0 20 0 1 0 238889176 1448804352 66111 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 353712 66111 8151 1 0 325070 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1419040 KiB
Current children cumulated memory: 267388 KiB

[startup+51.1054 s]
/proc/loadavg: 4.25 4.16 4.11 5/268 201566
/proc/meminfo: memFree=126727936/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1422128 memory=271740 CPUtime=50.93 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 63321 0 0 0 5081 12 0 0 20 0 1 0 238889176 1456259072 67935 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 355532 67935 8151 1 0 326890 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1426320 KiB
Current children cumulated memory: 274684 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/268 201571
/proc/meminfo: memFree=126751408/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1422128 memory=271740 CPUtime=101.99 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 63321 0 0 0 10187 12 0 0 20 0 1 0 238889176 1456259072 67935 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 355532 67935 8151 1 0 326890 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1426320 KiB
Current children cumulated memory: 274684 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/269 201574
/proc/meminfo: memFree=126804064/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1422128 memory=271740 CPUtime=161.84 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 63322 0 0 0 16172 12 0 0 20 0 1 0 238889176 1456259072 67935 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 355532 67935 8151 1 0 326890 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1426320 KiB
Current children cumulated memory: 274684 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/269 201576
/proc/meminfo: memFree=126815004/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1422128 memory=271740 CPUtime=221.68 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 63322 0 0 0 22156 12 0 0 20 0 1 0 238889176 1456259072 67935 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 355532 67935 8151 1 0 326890 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1426320 KiB

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


[startup+462.3 s]
/proc/loadavg: 2.33 3.43 3.84 3/254 201662
/proc/meminfo: memFree=127365572/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1430304 memory=280720 CPUtime=461.07 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 65975 0 0 0 46094 13 0 0 20 0 1 0 238889176 1464631296 70180 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 357576 70180 8311 1 0 328934 0
Current children cumulated CPU time: 461.07 s
Current children cumulated vsize: 1434496 KiB
Current children cumulated memory: 283664 KiB

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

# cumulated CPU time of all completed processes:  user=516.586 s, system=0.192306 s

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

[startup+486.4 s]
/proc/loadavg: 2.30 3.35 3.80 3/254 201664
/proc/meminfo: memFree=127362696/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1430304 memory=280720 CPUtime=485.11 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 65975 0 0 0 48498 13 0 0 20 0 1 0 238889176 1464631296 70180 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 357576 70180 8311 1 0 328934 0
Current children cumulated CPU time: 485.11 s
Current children cumulated vsize: 1434496 KiB
Current children cumulated memory: 283664 KiB

[startup+499.2 s]
/proc/loadavg: 2.24 3.29 3.77 3/254 201664
/proc/meminfo: memFree=127344984/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1430304 memory=280720 CPUtime=497.87 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 65976 0 0 0 49774 13 0 0 20 0 1 0 238889176 1464631296 70180 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 357576 70180 8311 1 0 328934 0
Current children cumulated CPU time: 497.87 s
Current children cumulated vsize: 1434496 KiB
Current children cumulated memory: 283664 KiB

[startup+505.6 s]
/proc/loadavg: 2.22 3.26 3.76 3/255 201665
/proc/meminfo: memFree=127313692/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1431072 memory=281488 CPUtime=498.84 cores=5,7
/proc/201565/stat : 201565 (python3) S 201560 201560 197761 0 -1 4194304 66338 0 0 0 49870 14 0 0 20 0 1 0 238889176 1465417728 70372 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 357768 70372 8311 1 0 329126 0
[pid=201665] ppid=201565 vsize=28616 memory=23952 CPUtime=5.41 cores=5,7
/proc/201665/stat : 201665 (naps-1.03a6) R 201565 201665 201665 0 -1 4194304 9741 0 0 0 540 1 0 0 20 0 1 0 238939191 29302784 5988 18446744073709551615 4198400 7047149 140726119416304 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 39030784 140726119422351 140726119422449 140726119422449 140726119428041 0
/proc/201665/statm: 7154 5988 544 696 0 6315 0
Current children cumulated CPU time: 504.25 s
Current children cumulated vsize: 1463880 KiB
Current children cumulated memory: 308384 KiB

[startup+512 s]*
/proc/loadavg: 2.18 3.22 3.75 3/255 201665
/proc/meminfo: memFree=127312724/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1431072 memory=281488 CPUtime=498.84 cores=5,7
/proc/201565/stat : 201565 (python3) S 201560 201560 197761 0 -1 4194304 66338 0 0 0 49870 14 0 0 20 0 1 0 238889176 1465417728 70372 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 357768 70372 8311 1 0 329126 0
[pid=201665] ppid=201565 vsize=28616 memory=24208 CPUtime=11.8 cores=5,7
/proc/201665/stat : 201665 (naps-1.03a6) R 201565 201665 201665 0 -1 4194304 9815 0 0 0 1179 1 0 0 20 0 1 0 238939191 29302784 6052 18446744073709551615 4198400 7047149 140726119416304 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 39030784 140726119422351 140726119422449 140726119422449 140726119428041 0
/proc/201665/statm: 7154 6052 544 696 0 6315 0
Current children cumulated CPU time: 510.64 s
Current children cumulated vsize: 1463880 KiB
Current children cumulated memory: 308640 KiB

[startup+515.2 s]
/proc/loadavg: 2.18 3.22 3.75 3/255 201665
/proc/meminfo: memFree=127312724/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1431072 memory=281488 CPUtime=498.84 cores=5,7
/proc/201565/stat : 201565 (python3) S 201560 201560 197761 0 -1 4194304 66338 0 0 0 49870 14 0 0 20 0 1 0 238889176 1465417728 70372 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 357768 70372 8311 1 0 329126 0
[pid=201665] ppid=201565 vsize=28616 memory=24208 CPUtime=14.98 cores=5,7
/proc/201665/stat : 201665 (naps-1.03a6) R 201565 201665 201665 0 -1 4194304 9815 0 0 0 1497 1 0 0 20 0 1 0 238939191 29302784 6052 18446744073709551615 4198400 7047149 140726119416304 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 39030784 140726119422351 140726119422449 140726119422449 140726119428041 0
/proc/201665/statm: 7154 6052 544 696 0 6315 0
Current children cumulated CPU time: 513.82 s
Current children cumulated vsize: 1463880 KiB
Current children cumulated memory: 308640 KiB

[startup+516.8 s]
/proc/loadavg: 2.18 3.22 3.75 3/255 201665
/proc/meminfo: memFree=127312724/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1431072 memory=281488 CPUtime=498.84 cores=5,7
/proc/201565/stat : 201565 (python3) S 201560 201560 197761 0 -1 4194304 66338 0 0 0 49870 14 0 0 20 0 1 0 238889176 1465417728 70372 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 357768 70372 8311 1 0 329126 0
[pid=201665] ppid=201565 vsize=28616 memory=24208 CPUtime=16.58 cores=5,7
/proc/201665/stat : 201665 (naps-1.03a6) R 201565 201665 201665 0 -1 4194304 9815 0 0 0 1657 1 0 0 20 0 1 0 238939191 29302784 6052 18446744073709551615 4198400 7047149 140726119416304 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 39030784 140726119422351 140726119422449 140726119422449 140726119428041 0
/proc/201665/statm: 7154 6052 544 696 0 6315 0
Current children cumulated CPU time: 515.42 s
Current children cumulated vsize: 1463880 KiB
Current children cumulated memory: 308640 KiB

[startup+517.6 s]
/proc/loadavg: 2.25 3.22 3.74 3/255 201665
/proc/meminfo: memFree=127312724/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1431072 memory=281488 CPUtime=498.84 cores=5,7
/proc/201565/stat : 201565 (python3) S 201560 201560 197761 0 -1 4194304 66338 0 0 0 49870 14 0 0 20 0 1 0 238889176 1465417728 70372 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 357768 70372 8311 1 0 329126 0
[pid=201665] ppid=201565 vsize=28616 memory=24208 CPUtime=17.38 cores=5,7
/proc/201665/stat : 201665 (naps-1.03a6) R 201565 201665 201665 0 -1 4194304 9815 0 0 0 1737 1 0 0 20 0 1 0 238939191 29302784 6052 18446744073709551615 4198400 7047149 140726119416304 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 39030784 140726119422351 140726119422449 140726119422449 140726119428041 0
/proc/201665/statm: 7154 6052 544 696 0 6315 0
Current children cumulated CPU time: 516.22 s
Current children cumulated vsize: 1463880 KiB
Current children cumulated memory: 308640 KiB

[startup+518 s]*
/proc/loadavg: 2.25 3.22 3.74 3/255 201665
/proc/meminfo: memFree=127312724/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1431072 memory=281488 CPUtime=498.84 cores=5,7
/proc/201565/stat : 201565 (python3) S 201560 201560 197761 0 -1 4194304 66338 0 0 0 49870 14 0 0 20 0 1 0 238889176 1465417728 70372 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 357768 70372 8311 1 0 329126 0
[pid=201665] ppid=201565 vsize=28616 memory=24208 CPUtime=17.78 cores=5,7
/proc/201665/stat : 201665 (naps-1.03a6) R 201565 201665 201665 0 -1 4194304 9815 0 0 0 1777 1 0 0 20 0 1 0 238939191 29302784 6052 18446744073709551615 4198400 7047149 140726119416304 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 39030784 140726119422351 140726119422449 140726119422449 140726119428041 0
/proc/201665/statm: 7154 6052 544 696 0 6315 0
Current children cumulated CPU time: 516.62 s
Current children cumulated vsize: 1463880 KiB
Current children cumulated memory: 308640 KiB

[startup+518.105 s]
/proc/loadavg: 2.25 3.22 3.74 3/255 201665
/proc/meminfo: memFree=127312724/131250000 swapFree=33008868/33010684
[pid=201560] ppid=201557 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/201560/stat : 201560 (scip-naps-1.00a) S 201557 201560 197761 0 -1 4194304 257 333 0 0 0 0 0 0 20 0 1 0 238889174 4292608 736 18446744073709551615 94819621302272 94819622196805 140731952913872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94819622435856 94819622483600 94819640823808 140731952920987 140731952921086 140731952921086 140731952926690 0
/proc/201560/statm: 1048 736 672 219 0 110 0
[pid=201565] ppid=201560 vsize=1431072 memory=281488 CPUtime=516.72 cores=5,7
/proc/201565/stat : 201565 (python3) R 201560 201560 197761 0 -1 4194304 77766 9816 0 0 49872 14 1785 1 20 0 1 0 238889176 1465417728 70372 18446744073709551615 94388684984320 94388684984697 140722849236416 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94388684995992 94388684996612 94388713844736 140722849245519 140722849245728 140722849245728 140722849251303 0
/proc/201565/statm: 357768 70372 8311 1 0 329126 0
Current children cumulated CPU time: 516.72 s
Current children cumulated vsize: 1435264 KiB
Current children cumulated memory: 284432 KiB

Child status: 0

Real time (s): 518.14
CPU time (s): 516.778
CPU user time (s): 516.586
CPU system time (s): 0.192306
CPU usage (%): 99.7372
Max. virtual memory (cumulated for all children) (KiB): 1467976
Max. memory (cumulated for all children) (KiB): 310552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 516.586
system time used= 0.192306
maximum resident set size= 282236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93095
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= 239


# summary of solver processes directly reported to runsolver:
#   pid: 201560
#   total CPU time (s): 516.778
#   total CPU user time (s): 516.586
#   total CPU system time (s): 0.192306

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02663 second user time and 2.13265 second system time

The end

Begin job on nodeC013 at 2025-07-23 02:54:49
IDJOB=4545602
IDBENCH=180940
IDSOLVER=3388
FILE ID=nodeC013/4545602-1753232089
RUNJOBID= nodeC013-1753222587-197774
SLURM_JOB_ID= 9687822
Free space on /tmp= 433020 MiB

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

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

MD5SUM BENCH= d0358cfd617a5121014a5f104d62bc1e
RANDOM SEED=1510918825

nodeC013 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.780
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.67
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.845
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.67
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		: 3598.019
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126958836 kB
MemAvailable:   128037476 kB
Buffers:            1668 kB
Cached:          1818988 kB
SwapCached:           52 kB
Active:          2589896 kB
Inactive:         961028 kB
Active(anon):    1746820 kB
Inactive(anon):     4872 kB
Active(file):     843076 kB
Inactive(file):   956156 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008868 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5592 kB
Writeback:             0 kB
AnonPages:       1732412 kB
Mapped:           128808 kB
Shmem:             21424 kB
KReclaimable:     236892 kB
Slab:             334592 kB
SReclaimable:     236892 kB
SUnreclaim:        97700 kB
KernelStack:        4352 kB
PageTables:         7352 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    5503792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    337920 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC013 at 2025-07-23 03:03:28