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