(1,24) (2,29) (3,23) (5,25) (6,30) (7,22) (8,21) (9,20) (10,27) (11,28) (12,26) (13,17) (14,19) (15,18) 
nodes: 7009  conflicts: 31  modelTime: 1200  solveTime: 16852  totalTime: 18063  modelSize: 41292  readTime: 11 size: 14