(1,13) (2,27) (3,6) (4,26) (5,22) (8,24) (9,29) (10,19) (11,28) (12,20) (14,17) (15,18) (21,23) (25,30) 
nodes: 165837  conflicts: 59  modelTime: 976  solveTime: 685845  totalTime: 686832  modelSize: 72265  readTime: 11 size: 14