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