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