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