(1,17) (4,21) (5,16) (6,23) (7,29) (8,26) (9,19) (10,25) (11,18) (12,20) (13,30) (14,28) 
nodes: 1066  conflicts: 49  modelTime: 671  solveTime: 865  totalTime: 1543  modelSize: 41292  readTime: 7 size: 12