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