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