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