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