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