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