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