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