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