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