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