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