(2,22) (3,26) (4,19) (5,24) (6,11) (7,25) (8,15) (9,14) (10,30) (12,21) (13,20) (16,17) (23,29) (27,28) 
nodes: 5152  conflicts: 99  modelTime: 1069  solveTime: 19941  totalTime: 21022  modelSize: 72262  readTime: 12 size: 14