(1,29) (2,30) (3,12) (4,9) (5,25) (6,24) (7,17) (8,16) (10,14) (11,23) (13,21) (15,20) (18,26) (19,27) (22,28) 
nodes: 367950  conflicts: 57  modelTime: 955  solveTime: 1487124  totalTime: 1488089  modelSize: 72271  readTime: 10 size: 15