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