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