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