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