(1,26) (2,29) (3,21) (4,20) (5,19) (7,30) (8,23) (10,17) (11,18) (12,25) (13,28) (14,24) (15,16) 
nodes: 1859  conflicts: 30  modelTime: 667  solveTime: 2217  totalTime: 2891  modelSize: 41298  readTime: 7 size: 13