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