loading SCIP... n: 60 m: 105 packed: 16 density: 80 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 14 46 1 11 39 2 8 57 3 5 50 4 22 36 6 17 44 7 41 45 9 20 28 12 18 27 16 51 55 21 26 38 23 34 52 24 43 58 30 40 42 31 33 47 48 49 53