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