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