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