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