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