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