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