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