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