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