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