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