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