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