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