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