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