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