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