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