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