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