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