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