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