(1,14) (2,17) (3,29) (4,27) (5,21) (6,22) (7,28) (8,26) (9,19) (10,15) (11,16) (12,24) (13,20) (18,25) (23,30) 
nodes: 8775  conflicts: 3  modelTime: 924  solveTime: 46828  totalTime: 47758  modelSize: 72338  readTime: 6 size: 15