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