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