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