(1,28) (2,17) (4,27) (5,20) (6,19) (7,29) (8,21) (9,22) (10,24) (11,30) (12,18) (13,16) (14,25) (15,26) 
nodes: 4389  conflicts: 34  modelTime: 658  solveTime: 6250  totalTime: 6914  modelSize: 41298  readTime: 6 size: 14