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