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