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