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