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