(1,23) (2,29) (3,15) (5,6) (7,19) (8,14) (9,20) (10,24) (11,22) (13,26) (16,17) (21,30) (27,28) 
nodes: 17186  conflicts: 52  modelTime: 931  solveTime: 39277  totalTime: 40219  modelSize: 72262  readTime: 11 size: 13