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