(1,6) (3,26) (4,9) (5,29) (7,24) (8,11) (10,30) (12,27) (13,16) (14,18) (15,17) (19,21) (20,22) (23,25) 
nodes: 49496  conflicts: 28  modelTime: 973  solveTime: 261475  totalTime: 262458  modelSize: 72285  readTime: 10 size: 14