loading SCIP... n: 100 m: 3037 packed: 33 density: 100 nodes: 0 solverTime: 10797 buildTime: 0 solved: true 0 80 99 1 15 18 2 12 72 3 42 62 4 6 13 5 17 82 7 38 66 8 40 75 9 34 98 10 37 81 14 41 61 16 22 71 19 49 83 20 73 96 21 24 87 23 50 65 25 86 88 26 30 35 27 36 92 28 53 59 29 57 79 31 74 84 32 60 69 33 45 56 39 54 64 43 77 90 44 58 91 46 47 68 48 67 93 51 70 76 52 78 89 55 63 97 85 94 95