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