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