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