(1,26) (2,20) (3,22) (4,28) (5,30) (6,16) (9,19) (10,24) (11,29) (12,18) (13,23) (14,27) (15,21) 
nodes: 4529  conflicts: 42  modelTime: 661  solveTime: 6866  totalTime: 7533  modelSize: 41293  readTime: 6 size: 13