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