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