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