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