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