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