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