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