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