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