(1,29) (2,25) (3,23) (4,22) (5,26) (6,27) (7,19) (9,28) (10,16) (11,18) (12,21) (13,17) (14,30) (15,20) 
nodes: 4674  conflicts: 24  modelTime: 686  solveTime: 8464  totalTime: 9155  modelSize: 41293  readTime: 5 size: 14