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