(1,23) (2,16) (3,20) (4,21) (5,18) (6,17) (7,29) (8,27) (9,25) (10,26) (12,19) (13,30) (14,24) (15,22) 
nodes: 7177  conflicts: 29  modelTime: 655  solveTime: 12177  totalTime: 12839  modelSize: 41292  readTime: 7 size: 14