(1,22) (3,9) (4,26) (5,12) (6,29) (7,25) (8,20) (10,17) (11,21) (13,30) (14,18) (15,24) (23,28) 
nodes: 1501  conflicts: 99  modelTime: 1705  solveTime: 8120  totalTime: 9847  modelSize: 72262  readTime: 22 size: 13