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