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