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