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