(1,27) (2,13) (3,8) (4,7) (5,23) (6,30) (9,11) (10,29) (12,26) (14,15) (16,22) (18,28) (19,20) (24,25) 
nodes: 366  conflicts: 55  modelTime: 1040  solveTime: 4175  totalTime: 5227  modelSize: 72263  readTime: 12 size: 14