(1,29) (2,23) (3,21) (4,30) (5,17) (6,26) (7,16) (8,24) (9,18) (10,25) (11,19) (12,27) (13,22) (14,28) (15,20) 
nodes: 1077  conflicts: 1  modelTime: 883  solveTime: 1655  totalTime: 2544  modelSize: 41293  readTime: 6 size: 15