loading SCIP... n: 40 m: 55 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 34 36 3 11 27 4 24 26 5 28 32 8 14 17 9 22 35 10 19 37 13 16 18 15 31 33 21 25 30