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