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