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