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