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