loading SCIP... n: 40 m: 121 packed: 12 density: 92 nodes: 0 solverTime: 62 buildTime: 0 solved: false 0 29 30 1 17 25 2 6 12 3 14 26 4 19 28 5 34 38 7 18 39 8 11 20 9 24 37 13 15 33 16 23 32 27 31 36