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