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