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