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