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