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