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