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