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