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