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