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