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