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