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