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