loading SCIP... n: 60 m: 90 packed: 17 density: 85 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 22 55 1 12 28 2 40 47 4 6 53 5 23 51 8 19 48 9 16 49 11 21 56 13 24 27 15 29 37 17 43 45 18 25 58 20 35 46 26 30 50 33 36 39 34 38 41 42 44 52