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