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