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