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