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