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