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