(1,9) (2,18) (3,6) (4,19) (7,13) (10,14) (11,20) (12,22) (15,28) (16,26) (21,25) (23,30) (27,29) 
nodes: 868  conflicts: 74  modelTime: 978  solveTime: 5938  totalTime: 6928  modelSize: 72262  readTime: 12 size: 13