(1,22) (2,23) (3,27) (4,19) (5,21) (6,16) (7,20) (8,29) (9,25) (10,30) (11,17) (12,24) (13,28) (14,18) 
nodes: 4072  conflicts: 17  modelTime: 687  solveTime: 9988  totalTime: 10681  modelSize: 41298  readTime: 6 size: 14