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