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