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