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