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