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