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