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