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