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