(1,28) (2,16) (3,29) (4,24) (5,20) (6,7) (8,15) (9,11) (12,26) (13,18) (14,27) (17,19) (21,25) (22,23) 
nodes: 22039  conflicts: 33  modelTime: 1700  solveTime: 90211  totalTime: 91930  modelSize: 72265  readTime: 19 size: 14