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