(1,19) (3,10) (4,20) (5,15) (6,24) (7,13) (8,16) (9,25) (12,14) (17,18) (21,28) (22,23) (26,30) (27,29) 
nodes: 7119  conflicts: 57  modelTime: 1702  solveTime: 34737  totalTime: 36459  modelSize: 72266  readTime: 20 size: 14