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