(1,3) (4,14) (6,23) (7,24) (8,19) (9,27) (10,18) (11,20) (12,13) (15,29) (17,26) (21,22) (25,28) 
nodes: 33614  conflicts: 76  modelTime: 1726  solveTime: 154499  totalTime: 156245  modelSize: 72264  readTime: 20 size: 13