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