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