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