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