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