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