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