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