(1,30) (2,28) (3,29) (4,20) (5,18) (6,25) (7,21) (8,19) (9,22) (10,23) (11,17) (12,24) (13,16) (14,26) 
nodes: 5507  conflicts: 32  modelTime: 663  solveTime: 9492  totalTime: 10161  modelSize: 41293  readTime: 6 size: 14