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