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