(1,22) (2,26) (3,12) (4,14) (5,30) (6,21) (7,16) (8,9) (10,25) (11,17) (13,29) (15,18) (19,23) (20,24) (27,28) 
nodes: 25499  conflicts: 6  modelTime: 1713  solveTime: 141132  totalTime: 142861  modelSize: 72264  readTime: 15 size: 15