(1,26) (2,30) (3,24) (4,21) (5,20) (6,23) (7,16) (8,18) (9,25) (10,29) (11,19) (12,28) (13,17) (14,22) (15,27) 
nodes: 2870  conflicts: 6  modelTime: 1169  solveTime: 5597  totalTime: 6773  modelSize: 41293  readTime: 7 size: 15