(1,27) (2,21) (5,17) (6,11) (7,22) (9,13) (12,16) (14,24) (15,25) (18,19) (20,28) (23,26) (29,30) 
nodes: 2261  conflicts: 58  modelTime: 980  solveTime: 11811  totalTime: 12802  modelSize: 72264  readTime: 11 size: 13