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