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