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