(2,28) (3,26) (4,27) (5,18) (6,16) (7,21) (8,19) (9,17) (10,20) (11,25) (12,23) (13,29) (14,24) (15,22) 
nodes: 6989  conflicts: 22  modelTime: 1202  solveTime: 22217  totalTime: 24623  modelSize: 41292  readTime: 1204 size: 14