(1,6) (2,9) (3,7) (4,22) (5,21) (8,10) (12,29) (13,16) (14,28) (15,25) (17,24) (18,27) (19,30) (23,26) 
nodes: 2424  conflicts: 40  modelTime: 977  solveTime: 10639  totalTime: 11627  modelSize: 72262  readTime: 11 size: 14