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