(1,29) (2,19) (3,18) (4,27) (5,26) (7,30) (8,25) (9,21) (10,17) (11,22) (12,28) (13,16) (14,20) (15,24) 
nodes: 4776  conflicts: 42  modelTime: 660  solveTime: 6948  totalTime: 7614  modelSize: 41298  readTime: 6 size: 14