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