loading SCIP... n: 60 m: 87 packed: 16 density: 80 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 12 16 1 24 32 3 7 45 4 22 53 5 15 40 8 9 48 10 44 58 13 18 47 14 27 54 17 41 51 20 30 55 23 34 42 25 31 52 26 37 39 29 56 57 35 49 59