(1,26) (2,6) (4,22) (5,20) (7,30) (8,13) (10,21) (11,23) (14,18) (15,19) (16,29) (17,28) (24,25) 
nodes: 603  conflicts: 90  modelTime: 984  solveTime: 4955  totalTime: 5951  modelSize: 72262  readTime: 12 size: 13