loading SCIP... n: 60 m: 113 packed: 17 density: 85 nodes: 0 solverTime: 110 buildTime: 0 solved: false 0 37 39 1 51 55 2 8 47 3 7 34 4 13 50 6 19 52 11 21 35 12 18 44 14 32 43 15 16 45 17 40 42 20 29 58 22 41 59 23 24 36 27 46 54 31 38 57 48 49 56