(1,29) (2,21) (3,6) (4,18) (5,7) (8,12) (9,11) (10,13) (14,22) (15,30) (16,23) (17,26) (19,27) (20,28) (24,25) 
nodes: 16451  conflicts: 70  modelTime: 1880  solveTime: 84926  totalTime: 86830  modelSize: 72263  readTime: 24 size: 15