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