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