(1,6) (2,11) (3,14) (4,15) (5,18) (7,17) (8,28) (9,10) (12,22) (13,21) (16,27) (19,20) (23,25) (24,29) (26,30) 
nodes: 22261  conflicts: 39  modelTime: 939  solveTime: 70504  totalTime: 71454  modelSize: 72269  readTime: 11 size: 15