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