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