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