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