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