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