(1,18) (2,24) (4,23) (5,29) (6,25) (7,21) (8,19) (9,20) (10,22) (11,28) (12,17) (14,16) (15,26) 
nodes: 3601  conflicts: 52  modelTime: 655  solveTime: 6199  totalTime: 6861  modelSize: 41293  readTime: 7 size: 13