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