(1,28) (2,26) (3,20) (4,19) (5,30) (6,22) (7,16) (8,17) (9,21) (10,24) (11,18) (13,25) (14,29) (15,27) 
nodes: 4313  conflicts: 45  modelTime: 667  solveTime: 6406  totalTime: 7079  modelSize: 41298  readTime: 6 size: 14