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