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