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