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