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