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