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