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