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