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