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