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