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