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