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