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