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