(2,23) (3,22) (4,28) (5,29) (6,20) (7,30) (8,24) (9,16) (10,17) (11,18) (12,21) (14,19) (15,26) 
nodes: 2814  conflicts: 44  modelTime: 658  solveTime: 4201  totalTime: 4865  modelSize: 41293  readTime: 6 size: 13