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