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