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