(1,28) (2,30) (3,20) (4,26) (5,25) (6,14) (7,10) (8,13) (9,24) (11,29) (15,22) (16,23) (18,19) (21,27) 
nodes: 29912  conflicts: 15  modelTime: 1209  solveTime: 109401  totalTime: 110628  modelSize: 72269  readTime: 18 size: 14