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