(1,13) (2,6) (3,12) (4,14) (5,8) (7,29) (9,25) (10,11) (15,23) (16,17) (18,24) (20,21) (22,26) (27,28) 
nodes: 41096  conflicts: 53  modelTime: 1294  solveTime: 142630  totalTime: 143943  modelSize: 72265  readTime: 19 size: 14