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