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