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