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