(1,19) (2,20) (3,17) (4,25) (5,18) (6,14) (7,11) (8,13) (9,16) (10,22) (12,28) (15,21) (23,30) (24,26) (27,29) 
nodes: 32159  conflicts: 10  modelTime: 1697  solveTime: 205099  totalTime: 206812  modelSize: 72268  readTime: 16 size: 15