loading SCIP... n: 40 m: 87 packed: 11 density: 84 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 17 32 1 10 28 2 13 16 3 9 38 4 6 18 5 20 24 7 11 23 8 27 33 14 31 39 15 26 29 21 34 35