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