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