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