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