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