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