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