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