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