loading SCIP... n: 60 m: 67 packed: 16 density: 80 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 7 33 1 12 29 2 3 13 4 26 32 6 41 49 9 23 40 10 20 56 14 39 57 16 28 55 17 34 48 18 47 52 21 24 44 25 43 54 27 50 59 30 31 38 46 51 58