(1,28) (2,19) (4,21) (5,18) (6,16) (7,24) (8,26) (9,27) (10,25) (12,17) (13,30) (14,23) (15,22) 
nodes: 3417  conflicts: 56  modelTime: 657  solveTime: 4073  totalTime: 4737  modelSize: 41292  readTime: 7 size: 13