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