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