(1,21) (2,29) (5,27) (6,28) (7,25) (8,18) (9,26) (10,24) (11,16) (12,23) (13,17) (14,22) (15,30) 
nodes: 4947  conflicts: 45  modelTime: 658  solveTime: 6561  totalTime: 7225  modelSize: 41298  readTime: 6 size: 13