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