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