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