loading SCIP... n: 40 m: 79 packed: 12 density: 92 nodes: 0 solverTime: 78 buildTime: 0 solved: false 0 17 21 1 16 25 3 27 39 4 15 26 5 11 22 6 18 29 7 13 33 8 28 36 9 14 34 10 12 37 19 23 32 20 24 35