(1,19) (2,23) (3,16) (4,27) (6,26) (7,17) (8,25) (9,29) (10,20) (11,22) (12,24) (13,28) (14,18) (15,21) 
nodes: 2694  conflicts: 35  modelTime: 663  solveTime: 5649  totalTime: 6319  modelSize: 41298  readTime: 7 size: 14