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