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