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