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