(1,29) (3,24) (4,21) (5,20) (6,23) (7,16) (8,28) (9,22) (10,25) (11,19) (12,17) (13,26) (14,27) (15,18) 
nodes: 3773  conflicts: 26  modelTime: 664  solveTime: 6985  totalTime: 7655  modelSize: 41298  readTime: 6 size: 14