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