loading SCIP... n: 40 m: 62 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 36 39 2 12 25 3 6 18 4 29 34 5 17 28 9 19 31 11 16 38 13 30 32 14 23 26 22 33 35