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