loading SCIP... n: 60 m: 115 packed: 16 density: 80 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 15 21 1 25 37 3 42 57 4 35 54 5 28 53 6 16 31 7 43 50 9 19 27 10 45 49 12 29 40 13 14 34 17 24 41 18 26 52 30 39 55 33 44 48 36 46 56