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