(1,19) (2,30) (3,29) (5,22) (6,24) (7,25) (8,26) (9,21) (10,27) (12,28) (13,23) (14,16) (15,17) 
nodes: 8925  conflicts: 32  modelTime: 686  solveTime: 16209  totalTime: 16901  modelSize: 41292  readTime: 6 size: 13