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