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