(1,18) (2,27) (3,22) (4,28) (5,16) (6,20) (7,26) (9,30) (10,19) (11,21) (12,25) (13,29) (14,17) (15,23) 
nodes: 1407  conflicts: 35  modelTime: 662  solveTime: 2308  totalTime: 2977  modelSize: 41298  readTime: 7 size: 14