(1,28) (2,27) (3,21) (4,20) (5,23) (7,22) (8,19) (9,29) (10,25) (11,18) (12,16) (14,24) (15,26) 
nodes: 4020  conflicts: 35  modelTime: 659  solveTime: 6676  totalTime: 7342  modelSize: 41298  readTime: 6 size: 13