(1,16) (2,28) (4,21) (6,20) (7,23) (8,26) (9,19) (10,25) (11,12) (13,15) (14,24) (17,30) (22,29) 
nodes: 2350  conflicts: 62  modelTime: 930  solveTime: 5703  totalTime: 6644  modelSize: 72262  readTime: 11 size: 13