(1,7) (2,16) (3,17) (4,29) (5,26) (6,20) (8,14) (9,27) (10,19) (12,23) (13,21) (18,25) (22,28) (24,30) 
nodes: 402186  conflicts: 49  modelTime: 1515  solveTime: 2186359  totalTime: 2187886  modelSize: 72263  readTime: 11 size: 14