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