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