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