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