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