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