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