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