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