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