(2,27) (3,25) (4,29) (5,22) (6,24) (7,21) (8,17) (9,18) (10,16) (12,28) (14,26) (15,23) 
nodes: 4388  conflicts: 39  modelTime: 658  solveTime: 7012  totalTime: 7676  modelSize: 41298  readTime: 6 size: 12