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