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