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