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