loading SCIP... n: 40 m: 175 packed: 13 density: 100 nodes: 0 solverTime: 156 buildTime: 0 solved: true 0 5 10 1 25 27 2 16 18 3 31 36 4 17 19 6 11 13 7 8 37 9 20 35 12 32 38 14 22 29 15 24 28 21 30 39 23 33 34