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