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