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