(1,23) (2,21) (3,16) (4,26) (5,29) (6,18) (7,30) (9,17) (10,27) (11,22) (12,25) (13,19) (14,20) (15,24) 
nodes: 3569  conflicts: 23  modelTime: 657  solveTime: 5357  totalTime: 6021  modelSize: 41292  readTime: 6 size: 14