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