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