(1,21) (2,30) (4,25) (5,22) (6,29) (7,24) (8,16) (9,18) (10,27) (11,23) (12,26) (13,19) (14,28) (15,20) 
nodes: 3137  conflicts: 34  modelTime: 657  solveTime: 5767  totalTime: 6430  modelSize: 41293  readTime: 6 size: 14