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