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