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