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