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