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