(1,26) (2,22) (3,15) (4,8) (5,20) (6,7) (9,16) (10,17) (11,27) (12,23) (13,29) (14,25) (18,30) (19,28) (21,24) 
nodes: 31203  conflicts: 31  modelTime: 1606  solveTime: 150992  totalTime: 152608  modelSize: 72269  readTime: 10 size: 15