(2,28) (3,19) (4,17) (5,22) (6,25) (7,27) (8,30) (9,26) (10,24) (11,20) (12,29) (13,18) (14,21) 
nodes: 6932  conflicts: 30  modelTime: 661  solveTime: 11378  totalTime: 12045  modelSize: 41298  readTime: 6 size: 13