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