(1,29) (2,22) (3,18) (4,20) (6,23) (7,28) (8,21) (9,16) (10,17) (11,19) (12,26) (13,25) (14,24) (15,27) 
nodes: 2108  conflicts: 26  modelTime: 655  solveTime: 3454  totalTime: 4116  modelSize: 41292  readTime: 7 size: 14