loading SCIP... n: 40 m: 123 packed: 12 density: 92 nodes: 0 solverTime: 62 buildTime: 0 solved: false 0 10 29 1 16 30 2 7 33 3 4 14 5 13 22 6 12 21 8 25 28 9 31 37 15 23 34 17 35 38 20 26 27 32 36 39