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