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