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