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