(1,20) (2,28) (3,17) (4,18) (5,30) (6,16) (7,23) (9,22) (10,25) (11,21) (12,26) (13,27) (14,24) (15,19) 
nodes: 3768  conflicts: 49  modelTime: 657  solveTime: 3797  totalTime: 4460  modelSize: 41292  readTime: 6 size: 14