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