(1,16) (2,22) (3,27) (4,21) (5,30) (6,18) (8,25) (9,19) (10,23) (11,26) (12,17) (13,24) (14,28) (15,29) 
nodes: 1059  conflicts: 30  modelTime: 657  solveTime: 1250  totalTime: 1914  modelSize: 41293  readTime: 6 size: 14