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