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