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