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