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