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