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