(2,30) (3,21) (4,18) (5,24) (6,25) (8,17) (9,22) (10,20) (11,23) (12,27) (14,16) (15,29) 
nodes: 3142  conflicts: 32  modelTime: 661  solveTime: 4263  totalTime: 4930  modelSize: 41298  readTime: 6 size: 12