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