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