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