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