(1,23) (2,29) (3,18) (4,19) (5,16) (6,28) (7,24) (8,20) (10,30) (11,27) (12,22) (13,17) (14,21) (15,26) 
nodes: 2651  conflicts: 30  modelTime: 664  solveTime: 4371  totalTime: 5042  modelSize: 41298  readTime: 7 size: 14