(1,6) (2,5) (3,26) (4,13) (7,21) (8,23) (9,29) (11,25) (12,19) (14,30) (15,20) (16,27) (17,28) (18,24) 
nodes: 88073  conflicts: 51  modelTime: 1215  solveTime: 347984  totalTime: 349219  modelSize: 72264  readTime: 20 size: 14