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