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