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