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