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