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