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