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