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