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