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