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